import pandas as pd
import copy
import numpy as np
from pulp import *
df_county_adj = pd.read_csv("https://www2.census.gov/geo/docs/reference/county_adjacency.txt", sep='\t',encoding = 'latin1',
header = None, names = ['County', 'County GEOID', 'Neighbor', 'Neighbor GEOID'], \
dtype = {'County GEOID': 'category', 'Neighbor GEOID': 'category'})
#Filling values down as they appear in an aggregate view
df_county_adj.ffill(inplace = True)
#Filtering to just TN & removing counties neighboring themselves
df_copy = copy.deepcopy(df_county_adj[df_county_adj['County'].str.contains("TN")])
df_TN_adj = copy.deepcopy(df_copy[df_copy['Neighbor'].str.contains("TN")])
df_TN_adj = copy.deepcopy(df_TN_adj[~(df_TN_adj['County']==df_TN_adj['Neighbor'])])
#Removing extra text from county names
df_TN_adj['County'] = df_TN_adj['County'].str.replace(" County, TN", "")
df_TN_adj['County'] = df_TN_adj['County'].str.replace(" ", "")
df_TN_adj['Neighbor'] = df_TN_adj['Neighbor'].str.replace(" County, TN", "")
df_TN_adj['Neighbor'] = df_TN_adj['Neighbor'].str.replace(" ", "")
#Creating an adjacency matrix
df_TN_adj['Values'] = 1
df_TN_adj = df_TN_adj.pivot(index = 'County', columns = 'Neighbor', values = 'Values')
df_TN_adj.fillna(0, inplace = True)
df_TN_adj.sort_index(axis=1, inplace=True)
df_TN_adj.sort_index(axis=0, inplace=True)
df_TN_adj
| Neighbor | Anderson | Bedford | Benton | Bledsoe | Blount | Bradley | Campbell | Cannon | Carroll | Carter | ... | Unicoi | Union | VanBuren | Warren | Washington | Wayne | Weakley | White | Williamson | Wilson |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| County | |||||||||||||||||||||
| Anderson | 0.0 | 0.0 | 0.0 | 0.0 | 0.0 | 0.0 | 1.0 | 0.0 | 0.0 | 0.0 | ... | 0.0 | 1.0 | 0.0 | 0.0 | 0.0 | 0.0 | 0.0 | 0.0 | 0.0 | 0.0 |
| Bedford | 0.0 | 0.0 | 0.0 | 0.0 | 0.0 | 0.0 | 0.0 | 0.0 | 0.0 | 0.0 | ... | 0.0 | 0.0 | 0.0 | 0.0 | 0.0 | 0.0 | 0.0 | 0.0 | 0.0 | 0.0 |
| Benton | 0.0 | 0.0 | 0.0 | 0.0 | 0.0 | 0.0 | 0.0 | 0.0 | 1.0 | 0.0 | ... | 0.0 | 0.0 | 0.0 | 0.0 | 0.0 | 0.0 | 0.0 | 0.0 | 0.0 | 0.0 |
| Bledsoe | 0.0 | 0.0 | 0.0 | 0.0 | 0.0 | 0.0 | 0.0 | 0.0 | 0.0 | 0.0 | ... | 0.0 | 0.0 | 1.0 | 0.0 | 0.0 | 0.0 | 0.0 | 0.0 | 0.0 | 0.0 |
| Blount | 0.0 | 0.0 | 0.0 | 0.0 | 0.0 | 0.0 | 0.0 | 0.0 | 0.0 | 0.0 | ... | 0.0 | 0.0 | 0.0 | 0.0 | 0.0 | 0.0 | 0.0 | 0.0 | 0.0 | 0.0 |
| ... | ... | ... | ... | ... | ... | ... | ... | ... | ... | ... | ... | ... | ... | ... | ... | ... | ... | ... | ... | ... | ... |
| Wayne | 0.0 | 0.0 | 0.0 | 0.0 | 0.0 | 0.0 | 0.0 | 0.0 | 0.0 | 0.0 | ... | 0.0 | 0.0 | 0.0 | 0.0 | 0.0 | 0.0 | 0.0 | 0.0 | 0.0 | 0.0 |
| Weakley | 0.0 | 0.0 | 0.0 | 0.0 | 0.0 | 0.0 | 0.0 | 0.0 | 1.0 | 0.0 | ... | 0.0 | 0.0 | 0.0 | 0.0 | 0.0 | 0.0 | 0.0 | 0.0 | 0.0 | 0.0 |
| White | 0.0 | 0.0 | 0.0 | 0.0 | 0.0 | 0.0 | 0.0 | 0.0 | 0.0 | 0.0 | ... | 0.0 | 0.0 | 1.0 | 1.0 | 0.0 | 0.0 | 0.0 | 0.0 | 0.0 | 0.0 |
| Williamson | 0.0 | 0.0 | 0.0 | 0.0 | 0.0 | 0.0 | 0.0 | 0.0 | 0.0 | 0.0 | ... | 0.0 | 0.0 | 0.0 | 0.0 | 0.0 | 0.0 | 0.0 | 0.0 | 0.0 | 0.0 |
| Wilson | 0.0 | 0.0 | 0.0 | 0.0 | 0.0 | 0.0 | 0.0 | 1.0 | 0.0 | 0.0 | ... | 0.0 | 0.0 | 0.0 | 0.0 | 0.0 | 0.0 | 0.0 | 0.0 | 0.0 | 0.0 |
95 rows × 95 columns
df_race = pd.read_csv("DECENNIALPL2020.P2-2022-05-04T001208.csv")
#Removing white spaces from labels column & set as index
df_race['Label (Grouping)'] = df_race['Label (Grouping)'].str.strip()
df_race.set_index('Label (Grouping)', inplace = True)
#Removing all other races and leaving total, white alone, and other
df_race = df_race.filter(items = ['Total:', 'White alone'], axis = 0)
df_race.loc['Other Races'] = df_race.loc['Total:'] - df_race.loc['White alone']
#Removing extra text from column names
race_cols = df_race.columns.values
new_race_cols = []
for i in range(0,len(race_cols)):
new_race_cols.append((race_cols[i].replace(" County, Tennessee", "")).replace(" ", ""))
df_race.columns = new_race_cols
df_race.sort_index(axis=1, inplace=True)
df_race
| Anderson | Bedford | Benton | Bledsoe | Blount | Bradley | Campbell | Cannon | Carroll | Carter | ... | Unicoi | Union | VanBuren | Warren | Washington | Wayne | Weakley | White | Williamson | Wilson | |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Label (Grouping) | |||||||||||||||||||||
| Total: | 77123 | 50237 | 15864 | 14913 | 135280 | 108620 | 39272 | 14506 | 28440 | 56356 | ... | 17928 | 19802 | 6168 | 40953 | 133001 | 16232 | 32902 | 27351 | 247726 | 147737 |
| White alone | 66044 | 36499 | 14378 | 13129 | 117952 | 87830 | 37101 | 13064 | 23744 | 51790 | ... | 16175 | 18642 | 5866 | 33980 | 112606 | 14503 | 27813 | 24833 | 200408 | 118889 |
| Other Races | 11079 | 13738 | 1486 | 1784 | 17328 | 20790 | 2171 | 1442 | 4696 | 4566 | ... | 1753 | 1160 | 302 | 6973 | 20395 | 1729 | 5089 | 2518 | 47318 | 28848 |
3 rows × 95 columns
total_pop = df_race.loc['Total:'].sum()
avg_pop = df_race.loc['Total:'].sum()/9
white_pop = df_race.loc['White alone'].sum()
white_pop_prop = white_pop/total_pop
print("Total Population: {}".format(total_pop))
print("Avg Population per District: {}".format(round(avg_pop)))
print("{}% of Population is White".format(round(white_pop_prop*100)))
Total Population: 6910840 Avg Population per District: 767871 71% of Population is White
df_race.loc[:,df_race.loc['Total:']>700000]
| Davidson | Shelby | |
|---|---|---|
| Label (Grouping) | ||
| Total: | 715884 | 929744 |
| White alone | 386835 | 316740 |
| Other Races | 329049 | 613004 |
print("{}% of Davidson is white".format(round(df_race.loc['White alone','Davidson']/df_race.loc['Total:', 'Davidson']*100)))
print("{}% of Shelby is white".format(round(df_race.loc['White alone','Shelby']/df_race.loc['Total:', 'Shelby']*100)))
54% of Davidson is white 34% of Shelby is white
Since both of these counties can be their own districts based off of population itself, I am going to use them to create a double rep district that has 2 reps with double the population of other districts. This will bring our 9 districts down to 7.
n_counties = len(df_TN_adj)
n_districts = 7
var_combs = []
for i in range(1,n_counties+1):
for j in range (1, n_districts+1):
var_combs.append(str(i)+"_"+str(j))
model = LpProblem("model", LpMinimize)
#Binary variable for per county-district combination
DV_y = LpVariable.matrix("Y", var_combs, cat="Binary")
assignment = np.array(DV_y).reshape(n_counties,n_districts)
#Adjacency constraint
n_adj = np.sum(df_TN_adj,axis = 0)
for j in range(n_districts):
for i in range(n_counties):
model += assignment[i][j] <= lpSum(df_TN_adj.iloc[i][k]*assignment[k][j] for k in range(n_counties))
#Predetermining the districts for Davidson & Shelby respectively
model += assignment[np.where(df_TN_adj.columns.values=='Davidson')][0][0] == 1 #Putting Davidson in District 1
model += assignment[np.where(df_TN_adj.columns.values=='Shelby')][0][1] == 1 #Putting Shelby in District 2
#Setting population ranges, normal districts can be + / - 20% from avg
for j in range(n_districts):
if j in [0,1]:
model += lpSum(df_race.iloc[0,i]*assignment[i][j] for i in range(n_counties)) <= avg_pop*2*1.2
model += lpSum(df_race.iloc[0,i]*assignment[i][j] for i in range(n_counties)) >= avg_pop*2*0.8
else:
model += lpSum(df_race.iloc[0,i]*assignment[i][j] for i in range(n_counties)) <= avg_pop*1.2
model += lpSum(df_race.iloc[0,i]*assignment[i][j] for i in range(n_counties)) >= avg_pop*0.8
#Setting 1 district per county
for i in range(n_counties):
model += lpSum(assignment[i][j] for j in range(n_districts)) == 1
Using absolute value principle:
$y \leq |x|$
$-y \leq x \leq y$
#Create absolute values so that we get total difference regardless of lower or higher
abs_pop_diff = LpVariable.dicts("abs_pop_diff", range(n_districts))
for i in range(n_districts):
model += abs_pop_diff[i] >= sum(df_race.iloc[1,j]*assignment[j][i] for j in range(n_counties)) \
- sum(df_race.iloc[0,j]*assignment[j][i] for j in range(n_counties)) * white_pop_prop
model += abs_pop_diff[i] >= -1 * (sum(df_race.iloc[1,j]*assignment[j][i] for j in range(n_counties)) \
- sum(df_race.iloc[0,j]*assignment[j][i] for j in range(n_counties)) * white_pop_prop)
#Objective Function: Minimize % difference between each district's white population and state white population
model += lpSum(abs_pop_diff)
model.solve(GLPK_CMD())
print("Status:", LpStatus[model.status])
Status: Optimal
for v in model.variables():
if v.varValue > 0:
print(v.name, "=", v.varValue)
Y_10_2 = 1 Y_11_1 = 1 Y_12_4 = 1 Y_13_2 = 1 Y_14_2 = 1 Y_15_1 = 1 Y_16_1 = 1 Y_17_4 = 1 Y_18_2 = 1 Y_19_1 = 1 Y_1_1 = 1 Y_20_3 = 1 Y_21_2 = 1 Y_22_7 = 1 Y_23_7 = 1 Y_24_7 = 1 Y_25_2 = 1 Y_26_1 = 1 Y_27_3 = 1 Y_28_5 = 1 Y_29_2 = 1 Y_2_7 = 1 Y_30_5 = 1 Y_31_2 = 1 Y_32_1 = 1 Y_33_5 = 1 Y_34_2 = 1 Y_35_7 = 1 Y_36_1 = 1 Y_37_2 = 1 Y_38_4 = 1 Y_39_1 = 1 Y_3_2 = 1 Y_40_1 = 1 Y_41_7 = 1 Y_42_7 = 1 Y_43_2 = 1 Y_44_2 = 1 Y_45_1 = 1 Y_46_2 = 1 Y_47_1 = 1 Y_48_1 = 1 Y_49_7 = 1 Y_4_3 = 1 Y_50_2 = 1 Y_51_2 = 1 Y_52_5 = 1 Y_53_7 = 1 Y_54_1 = 1 Y_55_3 = 1 Y_56_5 = 1 Y_57_7 = 1 Y_58_4 = 1 Y_59_3 = 1 Y_5_4 = 1 Y_60_4 = 1 Y_61_2 = 1 Y_62_7 = 1 Y_63_7 = 1 Y_64_1 = 1 Y_65_2 = 1 Y_66_1 = 1 Y_67_2 = 1 Y_68_2 = 1 Y_69_2 = 1 Y_6_3 = 1 Y_70_3 = 1 Y_71_3 = 1 Y_72_3 = 1 Y_73_2 = 1 Y_74_6 = 1 Y_75_6 = 1 Y_76_2 = 1 Y_77_2 = 1 Y_78_4 = 1 Y_79_2 = 1 Y_7_2 = 1 Y_80_1 = 1 Y_81_2 = 1 Y_82_2 = 1 Y_83_6 = 1 Y_84_2 = 1 Y_85_1 = 1 Y_86_2 = 1 Y_87_2 = 1 Y_88_2 = 1 Y_89_3 = 1 Y_8_6 = 1 Y_90_5 = 1 Y_91_1 = 1 Y_92_3 = 1 Y_93_2 = 1 Y_94_4 = 1 Y_95_3 = 1 Y_9_1 = 1 abs_pop_diff_0 = 816.945 abs_pop_diff_1 = 161301.0 abs_pop_diff_2 = 53160.8 abs_pop_diff_3 = 67171.7 abs_pop_diff_4 = 35377.6 abs_pop_diff_5 = 1255.47 abs_pop_diff_6 = 3518.1
np.where(df_TN_adj.columns.values == 'Van Buren')
(array([], dtype=int64),)
print(model)
model: MINIMIZE 1*abs_pop_diff_0 + 1*abs_pop_diff_1 + 1*abs_pop_diff_2 + 1*abs_pop_diff_3 + 1*abs_pop_diff_4 + 1*abs_pop_diff_5 + 1*abs_pop_diff_6 + 0 SUBJECT TO _C1: Y_1_1 - Y_47_1 - Y_65_1 - Y_73_1 - Y_76_1 - Y_7_1 - Y_87_1 <= 0 _C2: - Y_16_1 + Y_2_1 - Y_52_1 - Y_57_1 - Y_64_1 - Y_75_1 <= 0 _C3: - Y_21_1 + Y_3_1 - Y_40_1 - Y_42_1 - Y_43_1 - Y_68_1 - Y_81_1 - Y_9_1 <= 0 _C4: - Y_18_1 - Y_33_1 + Y_4_1 - Y_72_1 - Y_77_1 - Y_88_1 <= 0 _C5: - Y_47_1 - Y_53_1 + Y_5_1 - Y_62_1 - Y_78_1 <= 0 _C6: - Y_33_1 - Y_59_1 - Y_61_1 + Y_6_1 - Y_70_1 <= 0 _C7: - Y_13_1 - Y_1_1 - Y_76_1 + Y_7_1 - Y_87_1 <= 0 _C8: - Y_16_1 - Y_20_1 - Y_75_1 - Y_89_1 + Y_8_1 - Y_95_1 <= 0 _C9: - Y_21_1 - Y_27_1 - Y_39_1 - Y_3_1 - Y_40_1 - Y_55_1 - Y_92_1 + Y_9_1 <= 0 _C10: Y_10_1 - Y_46_1 - Y_82_1 - Y_86_1 - Y_90_1 <= 0 _C11: Y_11_1 - Y_19_1 - Y_22_1 - Y_63_1 - Y_74_1 - Y_94_1 <= 0 _C12: Y_12_1 - Y_35_1 - Y_36_1 - Y_39_1 - Y_55_1 - Y_60_1 <= 0 _C13: Y_13_1 - Y_29_1 - Y_34_1 - Y_7_1 - Y_87_1 <= 0 _C14: Y_14_1 - Y_44_1 - Y_54_1 - Y_67_1 - Y_69_1 <= 0 _C15: Y_15_1 - Y_30_1 - Y_32_1 - Y_45_1 - Y_78_1 <= 0 _C16: Y_16_1 - Y_26_1 - Y_2_1 - Y_31_1 - Y_64_1 - Y_75_1 - Y_89_1 - Y_8_1 <= 0 _C17: Y_17_1 - Y_23_1 - Y_27_1 - Y_38_1 - Y_49_1 - Y_55_1 <= 0 _C18: Y_18_1 - Y_25_1 - Y_4_1 - Y_65_1 - Y_71_1 - Y_72_1 - Y_73_1 - Y_88_1 - Y_93_1 <= 0 _C19: - Y_11_1 + Y_19_1 - Y_74_1 - Y_75_1 - Y_83_1 - Y_94_1 - Y_95_1 <= 0 _C20: Y_20_1 - Y_71_1 - Y_80_1 - Y_89_1 - Y_8_1 - Y_93_1 - Y_95_1 <= 0 _C21: Y_21_1 - Y_36_1 - Y_39_1 - Y_3_1 - Y_68_1 - Y_91_1 - Y_9_1 <= 0 _C22: - Y_11_1 + Y_22_1 - Y_41_1 - Y_42_1 - Y_43_1 - Y_63_1 - Y_94_1 <= 0 _C23: - Y_17_1 + Y_23_1 - Y_27_1 - Y_48_1 - Y_49_1 - Y_66_1 <= 0 _C24: Y_24_1 - Y_35_1 - Y_38_1 - Y_79_1 - Y_84_1 <= 0 _C25: - Y_18_1 + Y_25_1 - Y_65_1 - Y_67_1 - Y_69_1 - Y_71_1 - Y_76_1 <= 0 _C26: - Y_16_1 + Y_26_1 - Y_31_1 - Y_52_1 - Y_56_1 - Y_64_1 <= 0 _C27: - Y_17_1 - Y_23_1 + Y_27_1 - Y_55_1 - Y_66_1 - Y_92_1 - Y_9_1 <= 0 _C28: Y_28_1 - Y_50_1 - Y_52_1 - Y_57_1 - Y_58_1 <= 0 _C29: - Y_13_1 + Y_29_1 - Y_32_1 - Y_34_1 - Y_37_1 - Y_45_1 - Y_47_1 - Y_87_1 <= 0 _C30: - Y_15_1 + Y_30_1 - Y_32_1 - Y_37_1 - Y_86_1 - Y_90_1 <= 0 _C31: - Y_16_1 - Y_26_1 + Y_31_1 - Y_56_1 - Y_77_1 - Y_89_1 <= 0 _C32: - Y_15_1 - Y_29_1 - Y_30_1 + Y_32_1 - Y_37_1 - Y_45_1 <= 0 _C33: Y_33_1 - Y_4_1 - Y_56_1 - Y_61_1 - Y_6_1 - Y_72_1 - Y_77_1 <= 0 _C34: - Y_13_1 - Y_29_1 + Y_34_1 - Y_37_1 <= 0 _C35: - Y_12_1 - Y_24_1 + Y_35_1 - Y_38_1 - Y_55_1 - Y_60_1 <= 0 _C36: - Y_12_1 - Y_21_1 + Y_36_1 - Y_39_1 - Y_60_1 - Y_91_1 <= 0 _C37: - Y_29_1 - Y_30_1 - Y_32_1 - Y_34_1 + Y_37_1 - Y_82_1 - Y_90_1 <= 0 _C38: - Y_17_1 - Y_24_1 - Y_35_1 + Y_38_1 - Y_49_1 - Y_55_1 - Y_84_1 <= 0 _C39: - Y_12_1 - Y_21_1 - Y_36_1 + Y_39_1 - Y_55_1 - Y_9_1 <= 0 _C40: - Y_3_1 + Y_40_1 - Y_81_1 - Y_92_1 - Y_9_1 <= 0 _C41: - Y_22_1 + Y_41_1 - Y_43_1 - Y_51_1 - Y_58_1 - Y_68_1 - Y_94_1 <= 0 _C42: - Y_22_1 - Y_3_1 + Y_42_1 - Y_43_1 - Y_63_1 - Y_81_1 <= 0 _C43: - Y_22_1 - Y_3_1 - Y_41_1 - Y_42_1 + Y_43_1 - Y_68_1 <= 0 _C44: - Y_14_1 + Y_44_1 - Y_54_1 - Y_67_1 - Y_71_1 - Y_80_1 <= 0 _C45: - Y_15_1 - Y_29_1 - Y_32_1 + Y_45_1 - Y_47_1 - Y_78_1 <= 0 _C46: - Y_10_1 + Y_46_1 - Y_82_1 <= 0 _C47: - Y_1_1 - Y_29_1 - Y_45_1 + Y_47_1 - Y_53_1 - Y_5_1 - Y_73_1 - Y_78_1 - Y_87_1 <= 0 _C48: - Y_23_1 + Y_48_1 - Y_66_1 <= 0 _C49: - Y_17_1 - Y_23_1 - Y_38_1 + Y_49_1 - Y_84_1 <= 0 _C50: - Y_28_1 + Y_50_1 - Y_51_1 - Y_58_1 - Y_91_1 <= 0 _C51: - Y_41_1 - Y_50_1 + Y_51_1 - Y_58_1 - Y_68_1 - Y_91_1 <= 0 _C52: - Y_26_1 - Y_28_1 - Y_2_1 + Y_52_1 - Y_57_1 - Y_64_1 <= 0 _C53: - Y_47_1 + Y_53_1 - Y_59_1 - Y_5_1 - Y_62_1 - Y_73_1 <= 0 _C54: - Y_14_1 - Y_44_1 + Y_54_1 - Y_80_1 - Y_83_1 - Y_85_1 <= 0 _C55: - Y_12_1 - Y_17_1 - Y_27_1 - Y_35_1 - Y_38_1 - Y_39_1 + Y_55_1 - Y_9_1 <= 0 _C56: - Y_26_1 - Y_31_1 - Y_33_1 + Y_56_1 - Y_77_1 <= 0 _C57: - Y_28_1 - Y_2_1 - Y_52_1 + Y_57_1 - Y_58_1 - Y_75_1 - Y_94_1 <= 0 _C58: - Y_28_1 - Y_41_1 - Y_50_1 - Y_51_1 - Y_57_1 + Y_58_1 - Y_94_1 <= 0 _C59: - Y_53_1 + Y_59_1 - Y_61_1 - Y_62_1 - Y_6_1 - Y_70_1 - Y_73_1 <= 0 _C60: - Y_12_1 - Y_35_1 - Y_36_1 + Y_60_1 <= 0 _C61: - Y_33_1 - Y_59_1 + Y_61_1 - Y_6_1 - Y_72_1 - Y_73_1 <= 0 _C62: - Y_53_1 - Y_59_1 - Y_5_1 + Y_62_1 - Y_70_1 <= 0 _C63: - Y_11_1 - Y_22_1 - Y_42_1 + Y_63_1 - Y_74_1 - Y_81_1 <= 0 _C64: - Y_16_1 - Y_26_1 - Y_2_1 - Y_52_1 + Y_64_1 <= 0 _C65: - Y_18_1 - Y_1_1 - Y_25_1 + Y_65_1 - Y_73_1 - Y_76_1 <= 0 _C66: - Y_23_1 - Y_27_1 - Y_48_1 + Y_66_1 - Y_92_1 <= 0 _C67: - Y_14_1 - Y_25_1 - Y_44_1 + Y_67_1 - Y_69_1 - Y_71_1 <= 0 _C68: - Y_21_1 - Y_3_1 - Y_41_1 - Y_43_1 - Y_51_1 + Y_68_1 - Y_91_1 <= 0 _C69: - Y_14_1 - Y_25_1 - Y_67_1 + Y_69_1 - Y_76_1 <= 0 _C70: - Y_59_1 - Y_62_1 - Y_6_1 + Y_70_1 <= 0 _C71: - Y_18_1 - Y_20_1 - Y_25_1 - Y_44_1 - Y_67_1 + Y_71_1 - Y_80_1 - Y_93_1 <= 0 _C72: - Y_18_1 - Y_33_1 - Y_4_1 - Y_61_1 + Y_72_1 - Y_73_1 <= 0 _C73: - Y_18_1 - Y_1_1 - Y_47_1 - Y_53_1 - Y_59_1 - Y_61_1 - Y_65_1 - Y_72_1 + Y_73_1 <= 0 _C74: - Y_11_1 - Y_19_1 - Y_63_1 + Y_74_1 - Y_83_1 <= 0 _C75: - Y_16_1 - Y_19_1 - Y_2_1 - Y_57_1 + Y_75_1 - Y_8_1 - Y_94_1 - Y_95_1 <= 0 _C76: - Y_1_1 - Y_25_1 - Y_65_1 - Y_69_1 + Y_76_1 - Y_7_1 <= 0 _C77: - Y_31_1 - Y_33_1 - Y_4_1 - Y_56_1 + Y_77_1 - Y_88_1 - Y_89_1 <= 0 _C78: - Y_15_1 - Y_45_1 - Y_47_1 - Y_5_1 + Y_78_1 <= 0 _C79: - Y_24_1 + Y_79_1 - Y_84_1 <= 0 _C80: - Y_20_1 - Y_44_1 - Y_54_1 - Y_71_1 + Y_80_1 - Y_85_1 - Y_95_1 <= 0 _C81: - Y_3_1 - Y_40_1 - Y_42_1 - Y_63_1 + Y_81_1 <= 0 _C82: - Y_10_1 - Y_37_1 - Y_46_1 + Y_82_1 - Y_90_1 <= 0 _C83: - Y_19_1 - Y_54_1 - Y_74_1 + Y_83_1 - Y_85_1 - Y_95_1 <= 0 _C84: - Y_24_1 - Y_38_1 - Y_49_1 - Y_79_1 + Y_84_1 <= 0 _C85: - Y_54_1 - Y_80_1 - Y_83_1 + Y_85_1 - Y_95_1 <= 0 _C86: - Y_10_1 - Y_30_1 + Y_86_1 - Y_90_1 <= 0 _C87: - Y_13_1 - Y_1_1 - Y_29_1 - Y_47_1 - Y_7_1 + Y_87_1 <= 0 _C88: - Y_18_1 - Y_4_1 - Y_77_1 + Y_88_1 - Y_89_1 - Y_93_1 <= 0 _C89: - Y_16_1 - Y_20_1 - Y_31_1 - Y_77_1 - Y_88_1 + Y_89_1 - Y_8_1 - Y_93_1 <= 0 _C90: - Y_10_1 - Y_30_1 - Y_37_1 - Y_82_1 - Y_86_1 + Y_90_1 <= 0 _C91: - Y_21_1 - Y_36_1 - Y_50_1 - Y_51_1 - Y_68_1 + Y_91_1 <= 0 _C92: - Y_27_1 - Y_40_1 - Y_66_1 + Y_92_1 - Y_9_1 <= 0 _C93: - Y_18_1 - Y_20_1 - Y_71_1 - Y_88_1 - Y_89_1 + Y_93_1 <= 0 _C94: - Y_11_1 - Y_19_1 - Y_22_1 - Y_41_1 - Y_57_1 - Y_58_1 - Y_75_1 + Y_94_1 <= 0 _C95: - Y_19_1 - Y_20_1 - Y_75_1 - Y_80_1 - Y_83_1 - Y_85_1 - Y_8_1 + Y_95_1 <= 0 _C96: Y_1_2 - Y_47_2 - Y_65_2 - Y_73_2 - Y_76_2 - Y_7_2 - Y_87_2 <= 0 _C97: - Y_16_2 + Y_2_2 - Y_52_2 - Y_57_2 - Y_64_2 - Y_75_2 <= 0 _C98: - Y_21_2 + Y_3_2 - Y_40_2 - Y_42_2 - Y_43_2 - Y_68_2 - Y_81_2 - Y_9_2 <= 0 _C99: - Y_18_2 - Y_33_2 + Y_4_2 - Y_72_2 - Y_77_2 - Y_88_2 <= 0 _C100: - Y_47_2 - Y_53_2 + Y_5_2 - Y_62_2 - Y_78_2 <= 0 _C101: - Y_33_2 - Y_59_2 - Y_61_2 + Y_6_2 - Y_70_2 <= 0 _C102: - Y_13_2 - Y_1_2 - Y_76_2 + Y_7_2 - Y_87_2 <= 0 _C103: - Y_16_2 - Y_20_2 - Y_75_2 - Y_89_2 + Y_8_2 - Y_95_2 <= 0 _C104: - Y_21_2 - Y_27_2 - Y_39_2 - Y_3_2 - Y_40_2 - Y_55_2 - Y_92_2 + Y_9_2 <= 0 _C105: Y_10_2 - Y_46_2 - Y_82_2 - Y_86_2 - Y_90_2 <= 0 _C106: Y_11_2 - Y_19_2 - Y_22_2 - Y_63_2 - Y_74_2 - Y_94_2 <= 0 _C107: Y_12_2 - Y_35_2 - Y_36_2 - Y_39_2 - Y_55_2 - Y_60_2 <= 0 _C108: Y_13_2 - Y_29_2 - Y_34_2 - Y_7_2 - Y_87_2 <= 0 _C109: Y_14_2 - Y_44_2 - Y_54_2 - Y_67_2 - Y_69_2 <= 0 _C110: Y_15_2 - Y_30_2 - Y_32_2 - Y_45_2 - Y_78_2 <= 0 _C111: Y_16_2 - Y_26_2 - Y_2_2 - Y_31_2 - Y_64_2 - Y_75_2 - Y_89_2 - Y_8_2 <= 0 _C112: Y_17_2 - Y_23_2 - Y_27_2 - Y_38_2 - Y_49_2 - Y_55_2 <= 0 _C113: Y_18_2 - Y_25_2 - Y_4_2 - Y_65_2 - Y_71_2 - Y_72_2 - Y_73_2 - Y_88_2 - Y_93_2 <= 0 _C114: - Y_11_2 + Y_19_2 - Y_74_2 - Y_75_2 - Y_83_2 - Y_94_2 - Y_95_2 <= 0 _C115: Y_20_2 - Y_71_2 - Y_80_2 - Y_89_2 - Y_8_2 - Y_93_2 - Y_95_2 <= 0 _C116: Y_21_2 - Y_36_2 - Y_39_2 - Y_3_2 - Y_68_2 - Y_91_2 - Y_9_2 <= 0 _C117: - Y_11_2 + Y_22_2 - Y_41_2 - Y_42_2 - Y_43_2 - Y_63_2 - Y_94_2 <= 0 _C118: - Y_17_2 + Y_23_2 - Y_27_2 - Y_48_2 - Y_49_2 - Y_66_2 <= 0 _C119: Y_24_2 - Y_35_2 - Y_38_2 - Y_79_2 - Y_84_2 <= 0 _C120: - Y_18_2 + Y_25_2 - Y_65_2 - Y_67_2 - Y_69_2 - Y_71_2 - Y_76_2 <= 0 _C121: - Y_16_2 + Y_26_2 - Y_31_2 - Y_52_2 - Y_56_2 - Y_64_2 <= 0 _C122: - Y_17_2 - Y_23_2 + Y_27_2 - Y_55_2 - Y_66_2 - Y_92_2 - Y_9_2 <= 0 _C123: Y_28_2 - Y_50_2 - Y_52_2 - Y_57_2 - Y_58_2 <= 0 _C124: - Y_13_2 + Y_29_2 - Y_32_2 - Y_34_2 - Y_37_2 - Y_45_2 - Y_47_2 - Y_87_2 <= 0 _C125: - Y_15_2 + Y_30_2 - Y_32_2 - Y_37_2 - Y_86_2 - Y_90_2 <= 0 _C126: - Y_16_2 - Y_26_2 + Y_31_2 - Y_56_2 - Y_77_2 - Y_89_2 <= 0 _C127: - Y_15_2 - Y_29_2 - Y_30_2 + Y_32_2 - Y_37_2 - Y_45_2 <= 0 _C128: Y_33_2 - Y_4_2 - Y_56_2 - Y_61_2 - Y_6_2 - Y_72_2 - Y_77_2 <= 0 _C129: - Y_13_2 - Y_29_2 + Y_34_2 - Y_37_2 <= 0 _C130: - Y_12_2 - Y_24_2 + Y_35_2 - Y_38_2 - Y_55_2 - Y_60_2 <= 0 _C131: - Y_12_2 - Y_21_2 + Y_36_2 - Y_39_2 - Y_60_2 - Y_91_2 <= 0 _C132: - Y_29_2 - Y_30_2 - Y_32_2 - Y_34_2 + Y_37_2 - Y_82_2 - Y_90_2 <= 0 _C133: - Y_17_2 - Y_24_2 - Y_35_2 + Y_38_2 - Y_49_2 - Y_55_2 - Y_84_2 <= 0 _C134: - Y_12_2 - Y_21_2 - Y_36_2 + Y_39_2 - Y_55_2 - Y_9_2 <= 0 _C135: - Y_3_2 + Y_40_2 - Y_81_2 - Y_92_2 - Y_9_2 <= 0 _C136: - Y_22_2 + Y_41_2 - Y_43_2 - Y_51_2 - Y_58_2 - Y_68_2 - Y_94_2 <= 0 _C137: - Y_22_2 - Y_3_2 + Y_42_2 - Y_43_2 - Y_63_2 - Y_81_2 <= 0 _C138: - Y_22_2 - Y_3_2 - Y_41_2 - Y_42_2 + Y_43_2 - Y_68_2 <= 0 _C139: - Y_14_2 + Y_44_2 - Y_54_2 - Y_67_2 - Y_71_2 - Y_80_2 <= 0 _C140: - Y_15_2 - Y_29_2 - Y_32_2 + Y_45_2 - Y_47_2 - Y_78_2 <= 0 _C141: - Y_10_2 + Y_46_2 - Y_82_2 <= 0 _C142: - Y_1_2 - Y_29_2 - Y_45_2 + Y_47_2 - Y_53_2 - Y_5_2 - Y_73_2 - Y_78_2 - Y_87_2 <= 0 _C143: - Y_23_2 + Y_48_2 - Y_66_2 <= 0 _C144: - Y_17_2 - Y_23_2 - Y_38_2 + Y_49_2 - Y_84_2 <= 0 _C145: - Y_28_2 + Y_50_2 - Y_51_2 - Y_58_2 - Y_91_2 <= 0 _C146: - Y_41_2 - Y_50_2 + Y_51_2 - Y_58_2 - Y_68_2 - Y_91_2 <= 0 _C147: - Y_26_2 - Y_28_2 - Y_2_2 + Y_52_2 - Y_57_2 - Y_64_2 <= 0 _C148: - Y_47_2 + Y_53_2 - Y_59_2 - Y_5_2 - Y_62_2 - Y_73_2 <= 0 _C149: - Y_14_2 - Y_44_2 + Y_54_2 - Y_80_2 - Y_83_2 - Y_85_2 <= 0 _C150: - Y_12_2 - Y_17_2 - Y_27_2 - Y_35_2 - Y_38_2 - Y_39_2 + Y_55_2 - Y_9_2 <= 0 _C151: - Y_26_2 - Y_31_2 - Y_33_2 + Y_56_2 - Y_77_2 <= 0 _C152: - Y_28_2 - Y_2_2 - Y_52_2 + Y_57_2 - Y_58_2 - Y_75_2 - Y_94_2 <= 0 _C153: - Y_28_2 - Y_41_2 - Y_50_2 - Y_51_2 - Y_57_2 + Y_58_2 - Y_94_2 <= 0 _C154: - Y_53_2 + Y_59_2 - Y_61_2 - Y_62_2 - Y_6_2 - Y_70_2 - Y_73_2 <= 0 _C155: - Y_12_2 - Y_35_2 - Y_36_2 + Y_60_2 <= 0 _C156: - Y_33_2 - Y_59_2 + Y_61_2 - Y_6_2 - Y_72_2 - Y_73_2 <= 0 _C157: - Y_53_2 - Y_59_2 - Y_5_2 + Y_62_2 - Y_70_2 <= 0 _C158: - Y_11_2 - Y_22_2 - Y_42_2 + Y_63_2 - Y_74_2 - Y_81_2 <= 0 _C159: - Y_16_2 - Y_26_2 - Y_2_2 - Y_52_2 + Y_64_2 <= 0 _C160: - Y_18_2 - Y_1_2 - Y_25_2 + Y_65_2 - Y_73_2 - Y_76_2 <= 0 _C161: - Y_23_2 - Y_27_2 - Y_48_2 + Y_66_2 - Y_92_2 <= 0 _C162: - Y_14_2 - Y_25_2 - Y_44_2 + Y_67_2 - Y_69_2 - Y_71_2 <= 0 _C163: - Y_21_2 - Y_3_2 - Y_41_2 - Y_43_2 - Y_51_2 + Y_68_2 - Y_91_2 <= 0 _C164: - Y_14_2 - Y_25_2 - Y_67_2 + Y_69_2 - Y_76_2 <= 0 _C165: - Y_59_2 - Y_62_2 - Y_6_2 + Y_70_2 <= 0 _C166: - Y_18_2 - Y_20_2 - Y_25_2 - Y_44_2 - Y_67_2 + Y_71_2 - Y_80_2 - Y_93_2 <= 0 _C167: - Y_18_2 - Y_33_2 - Y_4_2 - Y_61_2 + Y_72_2 - Y_73_2 <= 0 _C168: - Y_18_2 - Y_1_2 - Y_47_2 - Y_53_2 - Y_59_2 - Y_61_2 - Y_65_2 - Y_72_2 + Y_73_2 <= 0 _C169: - Y_11_2 - Y_19_2 - Y_63_2 + Y_74_2 - Y_83_2 <= 0 _C170: - Y_16_2 - Y_19_2 - Y_2_2 - Y_57_2 + Y_75_2 - Y_8_2 - Y_94_2 - Y_95_2 <= 0 _C171: - Y_1_2 - Y_25_2 - Y_65_2 - Y_69_2 + Y_76_2 - Y_7_2 <= 0 _C172: - Y_31_2 - Y_33_2 - Y_4_2 - Y_56_2 + Y_77_2 - Y_88_2 - Y_89_2 <= 0 _C173: - Y_15_2 - Y_45_2 - Y_47_2 - Y_5_2 + Y_78_2 <= 0 _C174: - Y_24_2 + Y_79_2 - Y_84_2 <= 0 _C175: - Y_20_2 - Y_44_2 - Y_54_2 - Y_71_2 + Y_80_2 - Y_85_2 - Y_95_2 <= 0 _C176: - Y_3_2 - Y_40_2 - Y_42_2 - Y_63_2 + Y_81_2 <= 0 _C177: - Y_10_2 - Y_37_2 - Y_46_2 + Y_82_2 - Y_90_2 <= 0 _C178: - Y_19_2 - Y_54_2 - Y_74_2 + Y_83_2 - Y_85_2 - Y_95_2 <= 0 _C179: - Y_24_2 - Y_38_2 - Y_49_2 - Y_79_2 + Y_84_2 <= 0 _C180: - Y_54_2 - Y_80_2 - Y_83_2 + Y_85_2 - Y_95_2 <= 0 _C181: - Y_10_2 - Y_30_2 + Y_86_2 - Y_90_2 <= 0 _C182: - Y_13_2 - Y_1_2 - Y_29_2 - Y_47_2 - Y_7_2 + Y_87_2 <= 0 _C183: - Y_18_2 - Y_4_2 - Y_77_2 + Y_88_2 - Y_89_2 - Y_93_2 <= 0 _C184: - Y_16_2 - Y_20_2 - Y_31_2 - Y_77_2 - Y_88_2 + Y_89_2 - Y_8_2 - Y_93_2 <= 0 _C185: - Y_10_2 - Y_30_2 - Y_37_2 - Y_82_2 - Y_86_2 + Y_90_2 <= 0 _C186: - Y_21_2 - Y_36_2 - Y_50_2 - Y_51_2 - Y_68_2 + Y_91_2 <= 0 _C187: - Y_27_2 - Y_40_2 - Y_66_2 + Y_92_2 - Y_9_2 <= 0 _C188: - Y_18_2 - Y_20_2 - Y_71_2 - Y_88_2 - Y_89_2 + Y_93_2 <= 0 _C189: - Y_11_2 - Y_19_2 - Y_22_2 - Y_41_2 - Y_57_2 - Y_58_2 - Y_75_2 + Y_94_2 <= 0 _C190: - Y_19_2 - Y_20_2 - Y_75_2 - Y_80_2 - Y_83_2 - Y_85_2 - Y_8_2 + Y_95_2 <= 0 _C191: Y_1_3 - Y_47_3 - Y_65_3 - Y_73_3 - Y_76_3 - Y_7_3 - Y_87_3 <= 0 _C192: - Y_16_3 + Y_2_3 - Y_52_3 - Y_57_3 - Y_64_3 - Y_75_3 <= 0 _C193: - Y_21_3 + Y_3_3 - Y_40_3 - Y_42_3 - Y_43_3 - Y_68_3 - Y_81_3 - Y_9_3 <= 0 _C194: - Y_18_3 - Y_33_3 + Y_4_3 - Y_72_3 - Y_77_3 - Y_88_3 <= 0 _C195: - Y_47_3 - Y_53_3 + Y_5_3 - Y_62_3 - Y_78_3 <= 0 _C196: - Y_33_3 - Y_59_3 - Y_61_3 + Y_6_3 - Y_70_3 <= 0 _C197: - Y_13_3 - Y_1_3 - Y_76_3 + Y_7_3 - Y_87_3 <= 0 _C198: - Y_16_3 - Y_20_3 - Y_75_3 - Y_89_3 + Y_8_3 - Y_95_3 <= 0 _C199: - Y_21_3 - Y_27_3 - Y_39_3 - Y_3_3 - Y_40_3 - Y_55_3 - Y_92_3 + Y_9_3 <= 0 _C200: Y_10_3 - Y_46_3 - Y_82_3 - Y_86_3 - Y_90_3 <= 0 _C201: Y_11_3 - Y_19_3 - Y_22_3 - Y_63_3 - Y_74_3 - Y_94_3 <= 0 _C202: Y_12_3 - Y_35_3 - Y_36_3 - Y_39_3 - Y_55_3 - Y_60_3 <= 0 _C203: Y_13_3 - Y_29_3 - Y_34_3 - Y_7_3 - Y_87_3 <= 0 _C204: Y_14_3 - Y_44_3 - Y_54_3 - Y_67_3 - Y_69_3 <= 0 _C205: Y_15_3 - Y_30_3 - Y_32_3 - Y_45_3 - Y_78_3 <= 0 _C206: Y_16_3 - Y_26_3 - Y_2_3 - Y_31_3 - Y_64_3 - Y_75_3 - Y_89_3 - Y_8_3 <= 0 _C207: Y_17_3 - Y_23_3 - Y_27_3 - Y_38_3 - Y_49_3 - Y_55_3 <= 0 _C208: Y_18_3 - Y_25_3 - Y_4_3 - Y_65_3 - Y_71_3 - Y_72_3 - Y_73_3 - Y_88_3 - Y_93_3 <= 0 _C209: - Y_11_3 + Y_19_3 - Y_74_3 - Y_75_3 - Y_83_3 - Y_94_3 - Y_95_3 <= 0 _C210: Y_20_3 - Y_71_3 - Y_80_3 - Y_89_3 - Y_8_3 - Y_93_3 - Y_95_3 <= 0 _C211: Y_21_3 - Y_36_3 - Y_39_3 - Y_3_3 - Y_68_3 - Y_91_3 - Y_9_3 <= 0 _C212: - Y_11_3 + Y_22_3 - Y_41_3 - Y_42_3 - Y_43_3 - Y_63_3 - Y_94_3 <= 0 _C213: - Y_17_3 + Y_23_3 - Y_27_3 - Y_48_3 - Y_49_3 - Y_66_3 <= 0 _C214: Y_24_3 - Y_35_3 - Y_38_3 - Y_79_3 - Y_84_3 <= 0 _C215: - Y_18_3 + Y_25_3 - Y_65_3 - Y_67_3 - Y_69_3 - Y_71_3 - Y_76_3 <= 0 _C216: - Y_16_3 + Y_26_3 - Y_31_3 - Y_52_3 - Y_56_3 - Y_64_3 <= 0 _C217: - Y_17_3 - Y_23_3 + Y_27_3 - Y_55_3 - Y_66_3 - Y_92_3 - Y_9_3 <= 0 _C218: Y_28_3 - Y_50_3 - Y_52_3 - Y_57_3 - Y_58_3 <= 0 _C219: - Y_13_3 + Y_29_3 - Y_32_3 - Y_34_3 - Y_37_3 - Y_45_3 - Y_47_3 - Y_87_3 <= 0 _C220: - Y_15_3 + Y_30_3 - Y_32_3 - Y_37_3 - Y_86_3 - Y_90_3 <= 0 _C221: - Y_16_3 - Y_26_3 + Y_31_3 - Y_56_3 - Y_77_3 - Y_89_3 <= 0 _C222: - Y_15_3 - Y_29_3 - Y_30_3 + Y_32_3 - Y_37_3 - Y_45_3 <= 0 _C223: Y_33_3 - Y_4_3 - Y_56_3 - Y_61_3 - Y_6_3 - Y_72_3 - Y_77_3 <= 0 _C224: - Y_13_3 - Y_29_3 + Y_34_3 - Y_37_3 <= 0 _C225: - Y_12_3 - Y_24_3 + Y_35_3 - Y_38_3 - Y_55_3 - Y_60_3 <= 0 _C226: - Y_12_3 - Y_21_3 + Y_36_3 - Y_39_3 - Y_60_3 - Y_91_3 <= 0 _C227: - Y_29_3 - Y_30_3 - Y_32_3 - Y_34_3 + Y_37_3 - Y_82_3 - Y_90_3 <= 0 _C228: - Y_17_3 - Y_24_3 - Y_35_3 + Y_38_3 - Y_49_3 - Y_55_3 - Y_84_3 <= 0 _C229: - Y_12_3 - Y_21_3 - Y_36_3 + Y_39_3 - Y_55_3 - Y_9_3 <= 0 _C230: - Y_3_3 + Y_40_3 - Y_81_3 - Y_92_3 - Y_9_3 <= 0 _C231: - Y_22_3 + Y_41_3 - Y_43_3 - Y_51_3 - Y_58_3 - Y_68_3 - Y_94_3 <= 0 _C232: - Y_22_3 - Y_3_3 + Y_42_3 - Y_43_3 - Y_63_3 - Y_81_3 <= 0 _C233: - Y_22_3 - Y_3_3 - Y_41_3 - Y_42_3 + Y_43_3 - Y_68_3 <= 0 _C234: - Y_14_3 + Y_44_3 - Y_54_3 - Y_67_3 - Y_71_3 - Y_80_3 <= 0 _C235: - Y_15_3 - Y_29_3 - Y_32_3 + Y_45_3 - Y_47_3 - Y_78_3 <= 0 _C236: - Y_10_3 + Y_46_3 - Y_82_3 <= 0 _C237: - Y_1_3 - Y_29_3 - Y_45_3 + Y_47_3 - Y_53_3 - Y_5_3 - Y_73_3 - Y_78_3 - Y_87_3 <= 0 _C238: - Y_23_3 + Y_48_3 - Y_66_3 <= 0 _C239: - Y_17_3 - Y_23_3 - Y_38_3 + Y_49_3 - Y_84_3 <= 0 _C240: - Y_28_3 + Y_50_3 - Y_51_3 - Y_58_3 - Y_91_3 <= 0 _C241: - Y_41_3 - Y_50_3 + Y_51_3 - Y_58_3 - Y_68_3 - Y_91_3 <= 0 _C242: - Y_26_3 - Y_28_3 - Y_2_3 + Y_52_3 - Y_57_3 - Y_64_3 <= 0 _C243: - Y_47_3 + Y_53_3 - Y_59_3 - Y_5_3 - Y_62_3 - Y_73_3 <= 0 _C244: - Y_14_3 - Y_44_3 + Y_54_3 - Y_80_3 - Y_83_3 - Y_85_3 <= 0 _C245: - Y_12_3 - Y_17_3 - Y_27_3 - Y_35_3 - Y_38_3 - Y_39_3 + Y_55_3 - Y_9_3 <= 0 _C246: - Y_26_3 - Y_31_3 - Y_33_3 + Y_56_3 - Y_77_3 <= 0 _C247: - Y_28_3 - Y_2_3 - Y_52_3 + Y_57_3 - Y_58_3 - Y_75_3 - Y_94_3 <= 0 _C248: - Y_28_3 - Y_41_3 - Y_50_3 - Y_51_3 - Y_57_3 + Y_58_3 - Y_94_3 <= 0 _C249: - Y_53_3 + Y_59_3 - Y_61_3 - Y_62_3 - Y_6_3 - Y_70_3 - Y_73_3 <= 0 _C250: - Y_12_3 - Y_35_3 - Y_36_3 + Y_60_3 <= 0 _C251: - Y_33_3 - Y_59_3 + Y_61_3 - Y_6_3 - Y_72_3 - Y_73_3 <= 0 _C252: - Y_53_3 - Y_59_3 - Y_5_3 + Y_62_3 - Y_70_3 <= 0 _C253: - Y_11_3 - Y_22_3 - Y_42_3 + Y_63_3 - Y_74_3 - Y_81_3 <= 0 _C254: - Y_16_3 - Y_26_3 - Y_2_3 - Y_52_3 + Y_64_3 <= 0 _C255: - Y_18_3 - Y_1_3 - Y_25_3 + Y_65_3 - Y_73_3 - Y_76_3 <= 0 _C256: - Y_23_3 - Y_27_3 - Y_48_3 + Y_66_3 - Y_92_3 <= 0 _C257: - Y_14_3 - Y_25_3 - Y_44_3 + Y_67_3 - Y_69_3 - Y_71_3 <= 0 _C258: - Y_21_3 - Y_3_3 - Y_41_3 - Y_43_3 - Y_51_3 + Y_68_3 - Y_91_3 <= 0 _C259: - Y_14_3 - Y_25_3 - Y_67_3 + Y_69_3 - Y_76_3 <= 0 _C260: - Y_59_3 - Y_62_3 - Y_6_3 + Y_70_3 <= 0 _C261: - Y_18_3 - Y_20_3 - Y_25_3 - Y_44_3 - Y_67_3 + Y_71_3 - Y_80_3 - Y_93_3 <= 0 _C262: - Y_18_3 - Y_33_3 - Y_4_3 - Y_61_3 + Y_72_3 - Y_73_3 <= 0 _C263: - Y_18_3 - Y_1_3 - Y_47_3 - Y_53_3 - Y_59_3 - Y_61_3 - Y_65_3 - Y_72_3 + Y_73_3 <= 0 _C264: - Y_11_3 - Y_19_3 - Y_63_3 + Y_74_3 - Y_83_3 <= 0 _C265: - Y_16_3 - Y_19_3 - Y_2_3 - Y_57_3 + Y_75_3 - Y_8_3 - Y_94_3 - Y_95_3 <= 0 _C266: - Y_1_3 - Y_25_3 - Y_65_3 - Y_69_3 + Y_76_3 - Y_7_3 <= 0 _C267: - Y_31_3 - Y_33_3 - Y_4_3 - Y_56_3 + Y_77_3 - Y_88_3 - Y_89_3 <= 0 _C268: - Y_15_3 - Y_45_3 - Y_47_3 - Y_5_3 + Y_78_3 <= 0 _C269: - Y_24_3 + Y_79_3 - Y_84_3 <= 0 _C270: - Y_20_3 - Y_44_3 - Y_54_3 - Y_71_3 + Y_80_3 - Y_85_3 - Y_95_3 <= 0 _C271: - Y_3_3 - Y_40_3 - Y_42_3 - Y_63_3 + Y_81_3 <= 0 _C272: - Y_10_3 - Y_37_3 - Y_46_3 + Y_82_3 - Y_90_3 <= 0 _C273: - Y_19_3 - Y_54_3 - Y_74_3 + Y_83_3 - Y_85_3 - Y_95_3 <= 0 _C274: - Y_24_3 - Y_38_3 - Y_49_3 - Y_79_3 + Y_84_3 <= 0 _C275: - Y_54_3 - Y_80_3 - Y_83_3 + Y_85_3 - Y_95_3 <= 0 _C276: - Y_10_3 - Y_30_3 + Y_86_3 - Y_90_3 <= 0 _C277: - Y_13_3 - Y_1_3 - Y_29_3 - Y_47_3 - Y_7_3 + Y_87_3 <= 0 _C278: - Y_18_3 - Y_4_3 - Y_77_3 + Y_88_3 - Y_89_3 - Y_93_3 <= 0 _C279: - Y_16_3 - Y_20_3 - Y_31_3 - Y_77_3 - Y_88_3 + Y_89_3 - Y_8_3 - Y_93_3 <= 0 _C280: - Y_10_3 - Y_30_3 - Y_37_3 - Y_82_3 - Y_86_3 + Y_90_3 <= 0 _C281: - Y_21_3 - Y_36_3 - Y_50_3 - Y_51_3 - Y_68_3 + Y_91_3 <= 0 _C282: - Y_27_3 - Y_40_3 - Y_66_3 + Y_92_3 - Y_9_3 <= 0 _C283: - Y_18_3 - Y_20_3 - Y_71_3 - Y_88_3 - Y_89_3 + Y_93_3 <= 0 _C284: - Y_11_3 - Y_19_3 - Y_22_3 - Y_41_3 - Y_57_3 - Y_58_3 - Y_75_3 + Y_94_3 <= 0 _C285: - Y_19_3 - Y_20_3 - Y_75_3 - Y_80_3 - Y_83_3 - Y_85_3 - Y_8_3 + Y_95_3 <= 0 _C286: Y_1_4 - Y_47_4 - Y_65_4 - Y_73_4 - Y_76_4 - Y_7_4 - Y_87_4 <= 0 _C287: - Y_16_4 + Y_2_4 - Y_52_4 - Y_57_4 - Y_64_4 - Y_75_4 <= 0 _C288: - Y_21_4 + Y_3_4 - Y_40_4 - Y_42_4 - Y_43_4 - Y_68_4 - Y_81_4 - Y_9_4 <= 0 _C289: - Y_18_4 - Y_33_4 + Y_4_4 - Y_72_4 - Y_77_4 - Y_88_4 <= 0 _C290: - Y_47_4 - Y_53_4 + Y_5_4 - Y_62_4 - Y_78_4 <= 0 _C291: - Y_33_4 - Y_59_4 - Y_61_4 + Y_6_4 - Y_70_4 <= 0 _C292: - Y_13_4 - Y_1_4 - Y_76_4 + Y_7_4 - Y_87_4 <= 0 _C293: - Y_16_4 - Y_20_4 - Y_75_4 - Y_89_4 + Y_8_4 - Y_95_4 <= 0 _C294: - Y_21_4 - Y_27_4 - Y_39_4 - Y_3_4 - Y_40_4 - Y_55_4 - Y_92_4 + Y_9_4 <= 0 _C295: Y_10_4 - Y_46_4 - Y_82_4 - Y_86_4 - Y_90_4 <= 0 _C296: Y_11_4 - Y_19_4 - Y_22_4 - Y_63_4 - Y_74_4 - Y_94_4 <= 0 _C297: Y_12_4 - Y_35_4 - Y_36_4 - Y_39_4 - Y_55_4 - Y_60_4 <= 0 _C298: Y_13_4 - Y_29_4 - Y_34_4 - Y_7_4 - Y_87_4 <= 0 _C299: Y_14_4 - Y_44_4 - Y_54_4 - Y_67_4 - Y_69_4 <= 0 _C300: Y_15_4 - Y_30_4 - Y_32_4 - Y_45_4 - Y_78_4 <= 0 _C301: Y_16_4 - Y_26_4 - Y_2_4 - Y_31_4 - Y_64_4 - Y_75_4 - Y_89_4 - Y_8_4 <= 0 _C302: Y_17_4 - Y_23_4 - Y_27_4 - Y_38_4 - Y_49_4 - Y_55_4 <= 0 _C303: Y_18_4 - Y_25_4 - Y_4_4 - Y_65_4 - Y_71_4 - Y_72_4 - Y_73_4 - Y_88_4 - Y_93_4 <= 0 _C304: - Y_11_4 + Y_19_4 - Y_74_4 - Y_75_4 - Y_83_4 - Y_94_4 - Y_95_4 <= 0 _C305: Y_20_4 - Y_71_4 - Y_80_4 - Y_89_4 - Y_8_4 - Y_93_4 - Y_95_4 <= 0 _C306: Y_21_4 - Y_36_4 - Y_39_4 - Y_3_4 - Y_68_4 - Y_91_4 - Y_9_4 <= 0 _C307: - Y_11_4 + Y_22_4 - Y_41_4 - Y_42_4 - Y_43_4 - Y_63_4 - Y_94_4 <= 0 _C308: - Y_17_4 + Y_23_4 - Y_27_4 - Y_48_4 - Y_49_4 - Y_66_4 <= 0 _C309: Y_24_4 - Y_35_4 - Y_38_4 - Y_79_4 - Y_84_4 <= 0 _C310: - Y_18_4 + Y_25_4 - Y_65_4 - Y_67_4 - Y_69_4 - Y_71_4 - Y_76_4 <= 0 _C311: - Y_16_4 + Y_26_4 - Y_31_4 - Y_52_4 - Y_56_4 - Y_64_4 <= 0 _C312: - Y_17_4 - Y_23_4 + Y_27_4 - Y_55_4 - Y_66_4 - Y_92_4 - Y_9_4 <= 0 _C313: Y_28_4 - Y_50_4 - Y_52_4 - Y_57_4 - Y_58_4 <= 0 _C314: - Y_13_4 + Y_29_4 - Y_32_4 - Y_34_4 - Y_37_4 - Y_45_4 - Y_47_4 - Y_87_4 <= 0 _C315: - Y_15_4 + Y_30_4 - Y_32_4 - Y_37_4 - Y_86_4 - Y_90_4 <= 0 _C316: - Y_16_4 - Y_26_4 + Y_31_4 - Y_56_4 - Y_77_4 - Y_89_4 <= 0 _C317: - Y_15_4 - Y_29_4 - Y_30_4 + Y_32_4 - Y_37_4 - Y_45_4 <= 0 _C318: Y_33_4 - Y_4_4 - Y_56_4 - Y_61_4 - Y_6_4 - Y_72_4 - Y_77_4 <= 0 _C319: - Y_13_4 - Y_29_4 + Y_34_4 - Y_37_4 <= 0 _C320: - Y_12_4 - Y_24_4 + Y_35_4 - Y_38_4 - Y_55_4 - Y_60_4 <= 0 _C321: - Y_12_4 - Y_21_4 + Y_36_4 - Y_39_4 - Y_60_4 - Y_91_4 <= 0 _C322: - Y_29_4 - Y_30_4 - Y_32_4 - Y_34_4 + Y_37_4 - Y_82_4 - Y_90_4 <= 0 _C323: - Y_17_4 - Y_24_4 - Y_35_4 + Y_38_4 - Y_49_4 - Y_55_4 - Y_84_4 <= 0 _C324: - Y_12_4 - Y_21_4 - Y_36_4 + Y_39_4 - Y_55_4 - Y_9_4 <= 0 _C325: - Y_3_4 + Y_40_4 - Y_81_4 - Y_92_4 - Y_9_4 <= 0 _C326: - Y_22_4 + Y_41_4 - Y_43_4 - Y_51_4 - Y_58_4 - Y_68_4 - Y_94_4 <= 0 _C327: - Y_22_4 - Y_3_4 + Y_42_4 - Y_43_4 - Y_63_4 - Y_81_4 <= 0 _C328: - Y_22_4 - Y_3_4 - Y_41_4 - Y_42_4 + Y_43_4 - Y_68_4 <= 0 _C329: - Y_14_4 + Y_44_4 - Y_54_4 - Y_67_4 - Y_71_4 - Y_80_4 <= 0 _C330: - Y_15_4 - Y_29_4 - Y_32_4 + Y_45_4 - Y_47_4 - Y_78_4 <= 0 _C331: - Y_10_4 + Y_46_4 - Y_82_4 <= 0 _C332: - Y_1_4 - Y_29_4 - Y_45_4 + Y_47_4 - Y_53_4 - Y_5_4 - Y_73_4 - Y_78_4 - Y_87_4 <= 0 _C333: - Y_23_4 + Y_48_4 - Y_66_4 <= 0 _C334: - Y_17_4 - Y_23_4 - Y_38_4 + Y_49_4 - Y_84_4 <= 0 _C335: - Y_28_4 + Y_50_4 - Y_51_4 - Y_58_4 - Y_91_4 <= 0 _C336: - Y_41_4 - Y_50_4 + Y_51_4 - Y_58_4 - Y_68_4 - Y_91_4 <= 0 _C337: - Y_26_4 - Y_28_4 - Y_2_4 + Y_52_4 - Y_57_4 - Y_64_4 <= 0 _C338: - Y_47_4 + Y_53_4 - Y_59_4 - Y_5_4 - Y_62_4 - Y_73_4 <= 0 _C339: - Y_14_4 - Y_44_4 + Y_54_4 - Y_80_4 - Y_83_4 - Y_85_4 <= 0 _C340: - Y_12_4 - Y_17_4 - Y_27_4 - Y_35_4 - Y_38_4 - Y_39_4 + Y_55_4 - Y_9_4 <= 0 _C341: - Y_26_4 - Y_31_4 - Y_33_4 + Y_56_4 - Y_77_4 <= 0 _C342: - Y_28_4 - Y_2_4 - Y_52_4 + Y_57_4 - Y_58_4 - Y_75_4 - Y_94_4 <= 0 _C343: - Y_28_4 - Y_41_4 - Y_50_4 - Y_51_4 - Y_57_4 + Y_58_4 - Y_94_4 <= 0 _C344: - Y_53_4 + Y_59_4 - Y_61_4 - Y_62_4 - Y_6_4 - Y_70_4 - Y_73_4 <= 0 _C345: - Y_12_4 - Y_35_4 - Y_36_4 + Y_60_4 <= 0 _C346: - Y_33_4 - Y_59_4 + Y_61_4 - Y_6_4 - Y_72_4 - Y_73_4 <= 0 _C347: - Y_53_4 - Y_59_4 - Y_5_4 + Y_62_4 - Y_70_4 <= 0 _C348: - Y_11_4 - Y_22_4 - Y_42_4 + Y_63_4 - Y_74_4 - Y_81_4 <= 0 _C349: - Y_16_4 - Y_26_4 - Y_2_4 - Y_52_4 + Y_64_4 <= 0 _C350: - Y_18_4 - Y_1_4 - Y_25_4 + Y_65_4 - Y_73_4 - Y_76_4 <= 0 _C351: - Y_23_4 - Y_27_4 - Y_48_4 + Y_66_4 - Y_92_4 <= 0 _C352: - Y_14_4 - Y_25_4 - Y_44_4 + Y_67_4 - Y_69_4 - Y_71_4 <= 0 _C353: - Y_21_4 - Y_3_4 - Y_41_4 - Y_43_4 - Y_51_4 + Y_68_4 - Y_91_4 <= 0 _C354: - Y_14_4 - Y_25_4 - Y_67_4 + Y_69_4 - Y_76_4 <= 0 _C355: - Y_59_4 - Y_62_4 - Y_6_4 + Y_70_4 <= 0 _C356: - Y_18_4 - Y_20_4 - Y_25_4 - Y_44_4 - Y_67_4 + Y_71_4 - Y_80_4 - Y_93_4 <= 0 _C357: - Y_18_4 - Y_33_4 - Y_4_4 - Y_61_4 + Y_72_4 - Y_73_4 <= 0 _C358: - Y_18_4 - Y_1_4 - Y_47_4 - Y_53_4 - Y_59_4 - Y_61_4 - Y_65_4 - Y_72_4 + Y_73_4 <= 0 _C359: - Y_11_4 - Y_19_4 - Y_63_4 + Y_74_4 - Y_83_4 <= 0 _C360: - Y_16_4 - Y_19_4 - Y_2_4 - Y_57_4 + Y_75_4 - Y_8_4 - Y_94_4 - Y_95_4 <= 0 _C361: - Y_1_4 - Y_25_4 - Y_65_4 - Y_69_4 + Y_76_4 - Y_7_4 <= 0 _C362: - Y_31_4 - Y_33_4 - Y_4_4 - Y_56_4 + Y_77_4 - Y_88_4 - Y_89_4 <= 0 _C363: - Y_15_4 - Y_45_4 - Y_47_4 - Y_5_4 + Y_78_4 <= 0 _C364: - Y_24_4 + Y_79_4 - Y_84_4 <= 0 _C365: - Y_20_4 - Y_44_4 - Y_54_4 - Y_71_4 + Y_80_4 - Y_85_4 - Y_95_4 <= 0 _C366: - Y_3_4 - Y_40_4 - Y_42_4 - Y_63_4 + Y_81_4 <= 0 _C367: - Y_10_4 - Y_37_4 - Y_46_4 + Y_82_4 - Y_90_4 <= 0 _C368: - Y_19_4 - Y_54_4 - Y_74_4 + Y_83_4 - Y_85_4 - Y_95_4 <= 0 _C369: - Y_24_4 - Y_38_4 - Y_49_4 - Y_79_4 + Y_84_4 <= 0 _C370: - Y_54_4 - Y_80_4 - Y_83_4 + Y_85_4 - Y_95_4 <= 0 _C371: - Y_10_4 - Y_30_4 + Y_86_4 - Y_90_4 <= 0 _C372: - Y_13_4 - Y_1_4 - Y_29_4 - Y_47_4 - Y_7_4 + Y_87_4 <= 0 _C373: - Y_18_4 - Y_4_4 - Y_77_4 + Y_88_4 - Y_89_4 - Y_93_4 <= 0 _C374: - Y_16_4 - Y_20_4 - Y_31_4 - Y_77_4 - Y_88_4 + Y_89_4 - Y_8_4 - Y_93_4 <= 0 _C375: - Y_10_4 - Y_30_4 - Y_37_4 - Y_82_4 - Y_86_4 + Y_90_4 <= 0 _C376: - Y_21_4 - Y_36_4 - Y_50_4 - Y_51_4 - Y_68_4 + Y_91_4 <= 0 _C377: - Y_27_4 - Y_40_4 - Y_66_4 + Y_92_4 - Y_9_4 <= 0 _C378: - Y_18_4 - Y_20_4 - Y_71_4 - Y_88_4 - Y_89_4 + Y_93_4 <= 0 _C379: - Y_11_4 - Y_19_4 - Y_22_4 - Y_41_4 - Y_57_4 - Y_58_4 - Y_75_4 + Y_94_4 <= 0 _C380: - Y_19_4 - Y_20_4 - Y_75_4 - Y_80_4 - Y_83_4 - Y_85_4 - Y_8_4 + Y_95_4 <= 0 _C381: Y_1_5 - Y_47_5 - Y_65_5 - Y_73_5 - Y_76_5 - Y_7_5 - Y_87_5 <= 0 _C382: - Y_16_5 + Y_2_5 - Y_52_5 - Y_57_5 - Y_64_5 - Y_75_5 <= 0 _C383: - Y_21_5 + Y_3_5 - Y_40_5 - Y_42_5 - Y_43_5 - Y_68_5 - Y_81_5 - Y_9_5 <= 0 _C384: - Y_18_5 - Y_33_5 + Y_4_5 - Y_72_5 - Y_77_5 - Y_88_5 <= 0 _C385: - Y_47_5 - Y_53_5 + Y_5_5 - Y_62_5 - Y_78_5 <= 0 _C386: - Y_33_5 - Y_59_5 - Y_61_5 + Y_6_5 - Y_70_5 <= 0 _C387: - Y_13_5 - Y_1_5 - Y_76_5 + Y_7_5 - Y_87_5 <= 0 _C388: - Y_16_5 - Y_20_5 - Y_75_5 - Y_89_5 + Y_8_5 - Y_95_5 <= 0 _C389: - Y_21_5 - Y_27_5 - Y_39_5 - Y_3_5 - Y_40_5 - Y_55_5 - Y_92_5 + Y_9_5 <= 0 _C390: Y_10_5 - Y_46_5 - Y_82_5 - Y_86_5 - Y_90_5 <= 0 _C391: Y_11_5 - Y_19_5 - Y_22_5 - Y_63_5 - Y_74_5 - Y_94_5 <= 0 _C392: Y_12_5 - Y_35_5 - Y_36_5 - Y_39_5 - Y_55_5 - Y_60_5 <= 0 _C393: Y_13_5 - Y_29_5 - Y_34_5 - Y_7_5 - Y_87_5 <= 0 _C394: Y_14_5 - Y_44_5 - Y_54_5 - Y_67_5 - Y_69_5 <= 0 _C395: Y_15_5 - Y_30_5 - Y_32_5 - Y_45_5 - Y_78_5 <= 0 _C396: Y_16_5 - Y_26_5 - Y_2_5 - Y_31_5 - Y_64_5 - Y_75_5 - Y_89_5 - Y_8_5 <= 0 _C397: Y_17_5 - Y_23_5 - Y_27_5 - Y_38_5 - Y_49_5 - Y_55_5 <= 0 _C398: Y_18_5 - Y_25_5 - Y_4_5 - Y_65_5 - Y_71_5 - Y_72_5 - Y_73_5 - Y_88_5 - Y_93_5 <= 0 _C399: - Y_11_5 + Y_19_5 - Y_74_5 - Y_75_5 - Y_83_5 - Y_94_5 - Y_95_5 <= 0 _C400: Y_20_5 - Y_71_5 - Y_80_5 - Y_89_5 - Y_8_5 - Y_93_5 - Y_95_5 <= 0 _C401: Y_21_5 - Y_36_5 - Y_39_5 - Y_3_5 - Y_68_5 - Y_91_5 - Y_9_5 <= 0 _C402: - Y_11_5 + Y_22_5 - Y_41_5 - Y_42_5 - Y_43_5 - Y_63_5 - Y_94_5 <= 0 _C403: - Y_17_5 + Y_23_5 - Y_27_5 - Y_48_5 - Y_49_5 - Y_66_5 <= 0 _C404: Y_24_5 - Y_35_5 - Y_38_5 - Y_79_5 - Y_84_5 <= 0 _C405: - Y_18_5 + Y_25_5 - Y_65_5 - Y_67_5 - Y_69_5 - Y_71_5 - Y_76_5 <= 0 _C406: - Y_16_5 + Y_26_5 - Y_31_5 - Y_52_5 - Y_56_5 - Y_64_5 <= 0 _C407: - Y_17_5 - Y_23_5 + Y_27_5 - Y_55_5 - Y_66_5 - Y_92_5 - Y_9_5 <= 0 _C408: Y_28_5 - Y_50_5 - Y_52_5 - Y_57_5 - Y_58_5 <= 0 _C409: - Y_13_5 + Y_29_5 - Y_32_5 - Y_34_5 - Y_37_5 - Y_45_5 - Y_47_5 - Y_87_5 <= 0 _C410: - Y_15_5 + Y_30_5 - Y_32_5 - Y_37_5 - Y_86_5 - Y_90_5 <= 0 _C411: - Y_16_5 - Y_26_5 + Y_31_5 - Y_56_5 - Y_77_5 - Y_89_5 <= 0 _C412: - Y_15_5 - Y_29_5 - Y_30_5 + Y_32_5 - Y_37_5 - Y_45_5 <= 0 _C413: Y_33_5 - Y_4_5 - Y_56_5 - Y_61_5 - Y_6_5 - Y_72_5 - Y_77_5 <= 0 _C414: - Y_13_5 - Y_29_5 + Y_34_5 - Y_37_5 <= 0 _C415: - Y_12_5 - Y_24_5 + Y_35_5 - Y_38_5 - Y_55_5 - Y_60_5 <= 0 _C416: - Y_12_5 - Y_21_5 + Y_36_5 - Y_39_5 - Y_60_5 - Y_91_5 <= 0 _C417: - Y_29_5 - Y_30_5 - Y_32_5 - Y_34_5 + Y_37_5 - Y_82_5 - Y_90_5 <= 0 _C418: - Y_17_5 - Y_24_5 - Y_35_5 + Y_38_5 - Y_49_5 - Y_55_5 - Y_84_5 <= 0 _C419: - Y_12_5 - Y_21_5 - Y_36_5 + Y_39_5 - Y_55_5 - Y_9_5 <= 0 _C420: - Y_3_5 + Y_40_5 - Y_81_5 - Y_92_5 - Y_9_5 <= 0 _C421: - Y_22_5 + Y_41_5 - Y_43_5 - Y_51_5 - Y_58_5 - Y_68_5 - Y_94_5 <= 0 _C422: - Y_22_5 - Y_3_5 + Y_42_5 - Y_43_5 - Y_63_5 - Y_81_5 <= 0 _C423: - Y_22_5 - Y_3_5 - Y_41_5 - Y_42_5 + Y_43_5 - Y_68_5 <= 0 _C424: - Y_14_5 + Y_44_5 - Y_54_5 - Y_67_5 - Y_71_5 - Y_80_5 <= 0 _C425: - Y_15_5 - Y_29_5 - Y_32_5 + Y_45_5 - Y_47_5 - Y_78_5 <= 0 _C426: - Y_10_5 + Y_46_5 - Y_82_5 <= 0 _C427: - Y_1_5 - Y_29_5 - Y_45_5 + Y_47_5 - Y_53_5 - Y_5_5 - Y_73_5 - Y_78_5 - Y_87_5 <= 0 _C428: - Y_23_5 + Y_48_5 - Y_66_5 <= 0 _C429: - Y_17_5 - Y_23_5 - Y_38_5 + Y_49_5 - Y_84_5 <= 0 _C430: - Y_28_5 + Y_50_5 - Y_51_5 - Y_58_5 - Y_91_5 <= 0 _C431: - Y_41_5 - Y_50_5 + Y_51_5 - Y_58_5 - Y_68_5 - Y_91_5 <= 0 _C432: - Y_26_5 - Y_28_5 - Y_2_5 + Y_52_5 - Y_57_5 - Y_64_5 <= 0 _C433: - Y_47_5 + Y_53_5 - Y_59_5 - Y_5_5 - Y_62_5 - Y_73_5 <= 0 _C434: - Y_14_5 - Y_44_5 + Y_54_5 - Y_80_5 - Y_83_5 - Y_85_5 <= 0 _C435: - Y_12_5 - Y_17_5 - Y_27_5 - Y_35_5 - Y_38_5 - Y_39_5 + Y_55_5 - Y_9_5 <= 0 _C436: - Y_26_5 - Y_31_5 - Y_33_5 + Y_56_5 - Y_77_5 <= 0 _C437: - Y_28_5 - Y_2_5 - Y_52_5 + Y_57_5 - Y_58_5 - Y_75_5 - Y_94_5 <= 0 _C438: - Y_28_5 - Y_41_5 - Y_50_5 - Y_51_5 - Y_57_5 + Y_58_5 - Y_94_5 <= 0 _C439: - Y_53_5 + Y_59_5 - Y_61_5 - Y_62_5 - Y_6_5 - Y_70_5 - Y_73_5 <= 0 _C440: - Y_12_5 - Y_35_5 - Y_36_5 + Y_60_5 <= 0 _C441: - Y_33_5 - Y_59_5 + Y_61_5 - Y_6_5 - Y_72_5 - Y_73_5 <= 0 _C442: - Y_53_5 - Y_59_5 - Y_5_5 + Y_62_5 - Y_70_5 <= 0 _C443: - Y_11_5 - Y_22_5 - Y_42_5 + Y_63_5 - Y_74_5 - Y_81_5 <= 0 _C444: - Y_16_5 - Y_26_5 - Y_2_5 - Y_52_5 + Y_64_5 <= 0 _C445: - Y_18_5 - Y_1_5 - Y_25_5 + Y_65_5 - Y_73_5 - Y_76_5 <= 0 _C446: - Y_23_5 - Y_27_5 - Y_48_5 + Y_66_5 - Y_92_5 <= 0 _C447: - Y_14_5 - Y_25_5 - Y_44_5 + Y_67_5 - Y_69_5 - Y_71_5 <= 0 _C448: - Y_21_5 - Y_3_5 - Y_41_5 - Y_43_5 - Y_51_5 + Y_68_5 - Y_91_5 <= 0 _C449: - Y_14_5 - Y_25_5 - Y_67_5 + Y_69_5 - Y_76_5 <= 0 _C450: - Y_59_5 - Y_62_5 - Y_6_5 + Y_70_5 <= 0 _C451: - Y_18_5 - Y_20_5 - Y_25_5 - Y_44_5 - Y_67_5 + Y_71_5 - Y_80_5 - Y_93_5 <= 0 _C452: - Y_18_5 - Y_33_5 - Y_4_5 - Y_61_5 + Y_72_5 - Y_73_5 <= 0 _C453: - Y_18_5 - Y_1_5 - Y_47_5 - Y_53_5 - Y_59_5 - Y_61_5 - Y_65_5 - Y_72_5 + Y_73_5 <= 0 _C454: - Y_11_5 - Y_19_5 - Y_63_5 + Y_74_5 - Y_83_5 <= 0 _C455: - Y_16_5 - Y_19_5 - Y_2_5 - Y_57_5 + Y_75_5 - Y_8_5 - Y_94_5 - Y_95_5 <= 0 _C456: - Y_1_5 - Y_25_5 - Y_65_5 - Y_69_5 + Y_76_5 - Y_7_5 <= 0 _C457: - Y_31_5 - Y_33_5 - Y_4_5 - Y_56_5 + Y_77_5 - Y_88_5 - Y_89_5 <= 0 _C458: - Y_15_5 - Y_45_5 - Y_47_5 - Y_5_5 + Y_78_5 <= 0 _C459: - Y_24_5 + Y_79_5 - Y_84_5 <= 0 _C460: - Y_20_5 - Y_44_5 - Y_54_5 - Y_71_5 + Y_80_5 - Y_85_5 - Y_95_5 <= 0 _C461: - Y_3_5 - Y_40_5 - Y_42_5 - Y_63_5 + Y_81_5 <= 0 _C462: - Y_10_5 - Y_37_5 - Y_46_5 + Y_82_5 - Y_90_5 <= 0 _C463: - Y_19_5 - Y_54_5 - Y_74_5 + Y_83_5 - Y_85_5 - Y_95_5 <= 0 _C464: - Y_24_5 - Y_38_5 - Y_49_5 - Y_79_5 + Y_84_5 <= 0 _C465: - Y_54_5 - Y_80_5 - Y_83_5 + Y_85_5 - Y_95_5 <= 0 _C466: - Y_10_5 - Y_30_5 + Y_86_5 - Y_90_5 <= 0 _C467: - Y_13_5 - Y_1_5 - Y_29_5 - Y_47_5 - Y_7_5 + Y_87_5 <= 0 _C468: - Y_18_5 - Y_4_5 - Y_77_5 + Y_88_5 - Y_89_5 - Y_93_5 <= 0 _C469: - Y_16_5 - Y_20_5 - Y_31_5 - Y_77_5 - Y_88_5 + Y_89_5 - Y_8_5 - Y_93_5 <= 0 _C470: - Y_10_5 - Y_30_5 - Y_37_5 - Y_82_5 - Y_86_5 + Y_90_5 <= 0 _C471: - Y_21_5 - Y_36_5 - Y_50_5 - Y_51_5 - Y_68_5 + Y_91_5 <= 0 _C472: - Y_27_5 - Y_40_5 - Y_66_5 + Y_92_5 - Y_9_5 <= 0 _C473: - Y_18_5 - Y_20_5 - Y_71_5 - Y_88_5 - Y_89_5 + Y_93_5 <= 0 _C474: - Y_11_5 - Y_19_5 - Y_22_5 - Y_41_5 - Y_57_5 - Y_58_5 - Y_75_5 + Y_94_5 <= 0 _C475: - Y_19_5 - Y_20_5 - Y_75_5 - Y_80_5 - Y_83_5 - Y_85_5 - Y_8_5 + Y_95_5 <= 0 _C476: Y_1_6 - Y_47_6 - Y_65_6 - Y_73_6 - Y_76_6 - Y_7_6 - Y_87_6 <= 0 _C477: - Y_16_6 + Y_2_6 - Y_52_6 - Y_57_6 - Y_64_6 - Y_75_6 <= 0 _C478: - Y_21_6 + Y_3_6 - Y_40_6 - Y_42_6 - Y_43_6 - Y_68_6 - Y_81_6 - Y_9_6 <= 0 _C479: - Y_18_6 - Y_33_6 + Y_4_6 - Y_72_6 - Y_77_6 - Y_88_6 <= 0 _C480: - Y_47_6 - Y_53_6 + Y_5_6 - Y_62_6 - Y_78_6 <= 0 _C481: - Y_33_6 - Y_59_6 - Y_61_6 + Y_6_6 - Y_70_6 <= 0 _C482: - Y_13_6 - Y_1_6 - Y_76_6 + Y_7_6 - Y_87_6 <= 0 _C483: - Y_16_6 - Y_20_6 - Y_75_6 - Y_89_6 + Y_8_6 - Y_95_6 <= 0 _C484: - Y_21_6 - Y_27_6 - Y_39_6 - Y_3_6 - Y_40_6 - Y_55_6 - Y_92_6 + Y_9_6 <= 0 _C485: Y_10_6 - Y_46_6 - Y_82_6 - Y_86_6 - Y_90_6 <= 0 _C486: Y_11_6 - Y_19_6 - Y_22_6 - Y_63_6 - Y_74_6 - Y_94_6 <= 0 _C487: Y_12_6 - Y_35_6 - Y_36_6 - Y_39_6 - Y_55_6 - Y_60_6 <= 0 _C488: Y_13_6 - Y_29_6 - Y_34_6 - Y_7_6 - Y_87_6 <= 0 _C489: Y_14_6 - Y_44_6 - Y_54_6 - Y_67_6 - Y_69_6 <= 0 _C490: Y_15_6 - Y_30_6 - Y_32_6 - Y_45_6 - Y_78_6 <= 0 _C491: Y_16_6 - Y_26_6 - Y_2_6 - Y_31_6 - Y_64_6 - Y_75_6 - Y_89_6 - Y_8_6 <= 0 _C492: Y_17_6 - Y_23_6 - Y_27_6 - Y_38_6 - Y_49_6 - Y_55_6 <= 0 _C493: Y_18_6 - Y_25_6 - Y_4_6 - Y_65_6 - Y_71_6 - Y_72_6 - Y_73_6 - Y_88_6 - Y_93_6 <= 0 _C494: - Y_11_6 + Y_19_6 - Y_74_6 - Y_75_6 - Y_83_6 - Y_94_6 - Y_95_6 <= 0 _C495: Y_20_6 - Y_71_6 - Y_80_6 - Y_89_6 - Y_8_6 - Y_93_6 - Y_95_6 <= 0 _C496: Y_21_6 - Y_36_6 - Y_39_6 - Y_3_6 - Y_68_6 - Y_91_6 - Y_9_6 <= 0 _C497: - Y_11_6 + Y_22_6 - Y_41_6 - Y_42_6 - Y_43_6 - Y_63_6 - Y_94_6 <= 0 _C498: - Y_17_6 + Y_23_6 - Y_27_6 - Y_48_6 - Y_49_6 - Y_66_6 <= 0 _C499: Y_24_6 - Y_35_6 - Y_38_6 - Y_79_6 - Y_84_6 <= 0 _C500: - Y_18_6 + Y_25_6 - Y_65_6 - Y_67_6 - Y_69_6 - Y_71_6 - Y_76_6 <= 0 _C501: - Y_16_6 + Y_26_6 - Y_31_6 - Y_52_6 - Y_56_6 - Y_64_6 <= 0 _C502: - Y_17_6 - Y_23_6 + Y_27_6 - Y_55_6 - Y_66_6 - Y_92_6 - Y_9_6 <= 0 _C503: Y_28_6 - Y_50_6 - Y_52_6 - Y_57_6 - Y_58_6 <= 0 _C504: - Y_13_6 + Y_29_6 - Y_32_6 - Y_34_6 - Y_37_6 - Y_45_6 - Y_47_6 - Y_87_6 <= 0 _C505: - Y_15_6 + Y_30_6 - Y_32_6 - Y_37_6 - Y_86_6 - Y_90_6 <= 0 _C506: - Y_16_6 - Y_26_6 + Y_31_6 - Y_56_6 - Y_77_6 - Y_89_6 <= 0 _C507: - Y_15_6 - Y_29_6 - Y_30_6 + Y_32_6 - Y_37_6 - Y_45_6 <= 0 _C508: Y_33_6 - Y_4_6 - Y_56_6 - Y_61_6 - Y_6_6 - Y_72_6 - Y_77_6 <= 0 _C509: - Y_13_6 - Y_29_6 + Y_34_6 - Y_37_6 <= 0 _C510: - Y_12_6 - Y_24_6 + Y_35_6 - Y_38_6 - Y_55_6 - Y_60_6 <= 0 _C511: - Y_12_6 - Y_21_6 + Y_36_6 - Y_39_6 - Y_60_6 - Y_91_6 <= 0 _C512: - Y_29_6 - Y_30_6 - Y_32_6 - Y_34_6 + Y_37_6 - Y_82_6 - Y_90_6 <= 0 _C513: - Y_17_6 - Y_24_6 - Y_35_6 + Y_38_6 - Y_49_6 - Y_55_6 - Y_84_6 <= 0 _C514: - Y_12_6 - Y_21_6 - Y_36_6 + Y_39_6 - Y_55_6 - Y_9_6 <= 0 _C515: - Y_3_6 + Y_40_6 - Y_81_6 - Y_92_6 - Y_9_6 <= 0 _C516: - Y_22_6 + Y_41_6 - Y_43_6 - Y_51_6 - Y_58_6 - Y_68_6 - Y_94_6 <= 0 _C517: - Y_22_6 - Y_3_6 + Y_42_6 - Y_43_6 - Y_63_6 - Y_81_6 <= 0 _C518: - Y_22_6 - Y_3_6 - Y_41_6 - Y_42_6 + Y_43_6 - Y_68_6 <= 0 _C519: - Y_14_6 + Y_44_6 - Y_54_6 - Y_67_6 - Y_71_6 - Y_80_6 <= 0 _C520: - Y_15_6 - Y_29_6 - Y_32_6 + Y_45_6 - Y_47_6 - Y_78_6 <= 0 _C521: - Y_10_6 + Y_46_6 - Y_82_6 <= 0 _C522: - Y_1_6 - Y_29_6 - Y_45_6 + Y_47_6 - Y_53_6 - Y_5_6 - Y_73_6 - Y_78_6 - Y_87_6 <= 0 _C523: - Y_23_6 + Y_48_6 - Y_66_6 <= 0 _C524: - Y_17_6 - Y_23_6 - Y_38_6 + Y_49_6 - Y_84_6 <= 0 _C525: - Y_28_6 + Y_50_6 - Y_51_6 - Y_58_6 - Y_91_6 <= 0 _C526: - Y_41_6 - Y_50_6 + Y_51_6 - Y_58_6 - Y_68_6 - Y_91_6 <= 0 _C527: - Y_26_6 - Y_28_6 - Y_2_6 + Y_52_6 - Y_57_6 - Y_64_6 <= 0 _C528: - Y_47_6 + Y_53_6 - Y_59_6 - Y_5_6 - Y_62_6 - Y_73_6 <= 0 _C529: - Y_14_6 - Y_44_6 + Y_54_6 - Y_80_6 - Y_83_6 - Y_85_6 <= 0 _C530: - Y_12_6 - Y_17_6 - Y_27_6 - Y_35_6 - Y_38_6 - Y_39_6 + Y_55_6 - Y_9_6 <= 0 _C531: - Y_26_6 - Y_31_6 - Y_33_6 + Y_56_6 - Y_77_6 <= 0 _C532: - Y_28_6 - Y_2_6 - Y_52_6 + Y_57_6 - Y_58_6 - Y_75_6 - Y_94_6 <= 0 _C533: - Y_28_6 - Y_41_6 - Y_50_6 - Y_51_6 - Y_57_6 + Y_58_6 - Y_94_6 <= 0 _C534: - Y_53_6 + Y_59_6 - Y_61_6 - Y_62_6 - Y_6_6 - Y_70_6 - Y_73_6 <= 0 _C535: - Y_12_6 - Y_35_6 - Y_36_6 + Y_60_6 <= 0 _C536: - Y_33_6 - Y_59_6 + Y_61_6 - Y_6_6 - Y_72_6 - Y_73_6 <= 0 _C537: - Y_53_6 - Y_59_6 - Y_5_6 + Y_62_6 - Y_70_6 <= 0 _C538: - Y_11_6 - Y_22_6 - Y_42_6 + Y_63_6 - Y_74_6 - Y_81_6 <= 0 _C539: - Y_16_6 - Y_26_6 - Y_2_6 - Y_52_6 + Y_64_6 <= 0 _C540: - Y_18_6 - Y_1_6 - Y_25_6 + Y_65_6 - Y_73_6 - Y_76_6 <= 0 _C541: - Y_23_6 - Y_27_6 - Y_48_6 + Y_66_6 - Y_92_6 <= 0 _C542: - Y_14_6 - Y_25_6 - Y_44_6 + Y_67_6 - Y_69_6 - Y_71_6 <= 0 _C543: - Y_21_6 - Y_3_6 - Y_41_6 - Y_43_6 - Y_51_6 + Y_68_6 - Y_91_6 <= 0 _C544: - Y_14_6 - Y_25_6 - Y_67_6 + Y_69_6 - Y_76_6 <= 0 _C545: - Y_59_6 - Y_62_6 - Y_6_6 + Y_70_6 <= 0 _C546: - Y_18_6 - Y_20_6 - Y_25_6 - Y_44_6 - Y_67_6 + Y_71_6 - Y_80_6 - Y_93_6 <= 0 _C547: - Y_18_6 - Y_33_6 - Y_4_6 - Y_61_6 + Y_72_6 - Y_73_6 <= 0 _C548: - Y_18_6 - Y_1_6 - Y_47_6 - Y_53_6 - Y_59_6 - Y_61_6 - Y_65_6 - Y_72_6 + Y_73_6 <= 0 _C549: - Y_11_6 - Y_19_6 - Y_63_6 + Y_74_6 - Y_83_6 <= 0 _C550: - Y_16_6 - Y_19_6 - Y_2_6 - Y_57_6 + Y_75_6 - Y_8_6 - Y_94_6 - Y_95_6 <= 0 _C551: - Y_1_6 - Y_25_6 - Y_65_6 - Y_69_6 + Y_76_6 - Y_7_6 <= 0 _C552: - Y_31_6 - Y_33_6 - Y_4_6 - Y_56_6 + Y_77_6 - Y_88_6 - Y_89_6 <= 0 _C553: - Y_15_6 - Y_45_6 - Y_47_6 - Y_5_6 + Y_78_6 <= 0 _C554: - Y_24_6 + Y_79_6 - Y_84_6 <= 0 _C555: - Y_20_6 - Y_44_6 - Y_54_6 - Y_71_6 + Y_80_6 - Y_85_6 - Y_95_6 <= 0 _C556: - Y_3_6 - Y_40_6 - Y_42_6 - Y_63_6 + Y_81_6 <= 0 _C557: - Y_10_6 - Y_37_6 - Y_46_6 + Y_82_6 - Y_90_6 <= 0 _C558: - Y_19_6 - Y_54_6 - Y_74_6 + Y_83_6 - Y_85_6 - Y_95_6 <= 0 _C559: - Y_24_6 - Y_38_6 - Y_49_6 - Y_79_6 + Y_84_6 <= 0 _C560: - Y_54_6 - Y_80_6 - Y_83_6 + Y_85_6 - Y_95_6 <= 0 _C561: - Y_10_6 - Y_30_6 + Y_86_6 - Y_90_6 <= 0 _C562: - Y_13_6 - Y_1_6 - Y_29_6 - Y_47_6 - Y_7_6 + Y_87_6 <= 0 _C563: - Y_18_6 - Y_4_6 - Y_77_6 + Y_88_6 - Y_89_6 - Y_93_6 <= 0 _C564: - Y_16_6 - Y_20_6 - Y_31_6 - Y_77_6 - Y_88_6 + Y_89_6 - Y_8_6 - Y_93_6 <= 0 _C565: - Y_10_6 - Y_30_6 - Y_37_6 - Y_82_6 - Y_86_6 + Y_90_6 <= 0 _C566: - Y_21_6 - Y_36_6 - Y_50_6 - Y_51_6 - Y_68_6 + Y_91_6 <= 0 _C567: - Y_27_6 - Y_40_6 - Y_66_6 + Y_92_6 - Y_9_6 <= 0 _C568: - Y_18_6 - Y_20_6 - Y_71_6 - Y_88_6 - Y_89_6 + Y_93_6 <= 0 _C569: - Y_11_6 - Y_19_6 - Y_22_6 - Y_41_6 - Y_57_6 - Y_58_6 - Y_75_6 + Y_94_6 <= 0 _C570: - Y_19_6 - Y_20_6 - Y_75_6 - Y_80_6 - Y_83_6 - Y_85_6 - Y_8_6 + Y_95_6 <= 0 _C571: Y_1_7 - Y_47_7 - Y_65_7 - Y_73_7 - Y_76_7 - Y_7_7 - Y_87_7 <= 0 _C572: - Y_16_7 + Y_2_7 - Y_52_7 - Y_57_7 - Y_64_7 - Y_75_7 <= 0 _C573: - Y_21_7 + Y_3_7 - Y_40_7 - Y_42_7 - Y_43_7 - Y_68_7 - Y_81_7 - Y_9_7 <= 0 _C574: - Y_18_7 - Y_33_7 + Y_4_7 - Y_72_7 - Y_77_7 - Y_88_7 <= 0 _C575: - Y_47_7 - Y_53_7 + Y_5_7 - Y_62_7 - Y_78_7 <= 0 _C576: - Y_33_7 - Y_59_7 - Y_61_7 + Y_6_7 - Y_70_7 <= 0 _C577: - Y_13_7 - Y_1_7 - Y_76_7 + Y_7_7 - Y_87_7 <= 0 _C578: - Y_16_7 - Y_20_7 - Y_75_7 - Y_89_7 + Y_8_7 - Y_95_7 <= 0 _C579: - Y_21_7 - Y_27_7 - Y_39_7 - Y_3_7 - Y_40_7 - Y_55_7 - Y_92_7 + Y_9_7 <= 0 _C580: Y_10_7 - Y_46_7 - Y_82_7 - Y_86_7 - Y_90_7 <= 0 _C581: Y_11_7 - Y_19_7 - Y_22_7 - Y_63_7 - Y_74_7 - Y_94_7 <= 0 _C582: Y_12_7 - Y_35_7 - Y_36_7 - Y_39_7 - Y_55_7 - Y_60_7 <= 0 _C583: Y_13_7 - Y_29_7 - Y_34_7 - Y_7_7 - Y_87_7 <= 0 _C584: Y_14_7 - Y_44_7 - Y_54_7 - Y_67_7 - Y_69_7 <= 0 _C585: Y_15_7 - Y_30_7 - Y_32_7 - Y_45_7 - Y_78_7 <= 0 _C586: Y_16_7 - Y_26_7 - Y_2_7 - Y_31_7 - Y_64_7 - Y_75_7 - Y_89_7 - Y_8_7 <= 0 _C587: Y_17_7 - Y_23_7 - Y_27_7 - Y_38_7 - Y_49_7 - Y_55_7 <= 0 _C588: Y_18_7 - Y_25_7 - Y_4_7 - Y_65_7 - Y_71_7 - Y_72_7 - Y_73_7 - Y_88_7 - Y_93_7 <= 0 _C589: - Y_11_7 + Y_19_7 - Y_74_7 - Y_75_7 - Y_83_7 - Y_94_7 - Y_95_7 <= 0 _C590: Y_20_7 - Y_71_7 - Y_80_7 - Y_89_7 - Y_8_7 - Y_93_7 - Y_95_7 <= 0 _C591: Y_21_7 - Y_36_7 - Y_39_7 - Y_3_7 - Y_68_7 - Y_91_7 - Y_9_7 <= 0 _C592: - Y_11_7 + Y_22_7 - Y_41_7 - Y_42_7 - Y_43_7 - Y_63_7 - Y_94_7 <= 0 _C593: - Y_17_7 + Y_23_7 - Y_27_7 - Y_48_7 - Y_49_7 - Y_66_7 <= 0 _C594: Y_24_7 - Y_35_7 - Y_38_7 - Y_79_7 - Y_84_7 <= 0 _C595: - Y_18_7 + Y_25_7 - Y_65_7 - Y_67_7 - Y_69_7 - Y_71_7 - Y_76_7 <= 0 _C596: - Y_16_7 + Y_26_7 - Y_31_7 - Y_52_7 - Y_56_7 - Y_64_7 <= 0 _C597: - Y_17_7 - Y_23_7 + Y_27_7 - Y_55_7 - Y_66_7 - Y_92_7 - Y_9_7 <= 0 _C598: Y_28_7 - Y_50_7 - Y_52_7 - Y_57_7 - Y_58_7 <= 0 _C599: - Y_13_7 + Y_29_7 - Y_32_7 - Y_34_7 - Y_37_7 - Y_45_7 - Y_47_7 - Y_87_7 <= 0 _C600: - Y_15_7 + Y_30_7 - Y_32_7 - Y_37_7 - Y_86_7 - Y_90_7 <= 0 _C601: - Y_16_7 - Y_26_7 + Y_31_7 - Y_56_7 - Y_77_7 - Y_89_7 <= 0 _C602: - Y_15_7 - Y_29_7 - Y_30_7 + Y_32_7 - Y_37_7 - Y_45_7 <= 0 _C603: Y_33_7 - Y_4_7 - Y_56_7 - Y_61_7 - Y_6_7 - Y_72_7 - Y_77_7 <= 0 _C604: - Y_13_7 - Y_29_7 + Y_34_7 - Y_37_7 <= 0 _C605: - Y_12_7 - Y_24_7 + Y_35_7 - Y_38_7 - Y_55_7 - Y_60_7 <= 0 _C606: - Y_12_7 - Y_21_7 + Y_36_7 - Y_39_7 - Y_60_7 - Y_91_7 <= 0 _C607: - Y_29_7 - Y_30_7 - Y_32_7 - Y_34_7 + Y_37_7 - Y_82_7 - Y_90_7 <= 0 _C608: - Y_17_7 - Y_24_7 - Y_35_7 + Y_38_7 - Y_49_7 - Y_55_7 - Y_84_7 <= 0 _C609: - Y_12_7 - Y_21_7 - Y_36_7 + Y_39_7 - Y_55_7 - Y_9_7 <= 0 _C610: - Y_3_7 + Y_40_7 - Y_81_7 - Y_92_7 - Y_9_7 <= 0 _C611: - Y_22_7 + Y_41_7 - Y_43_7 - Y_51_7 - Y_58_7 - Y_68_7 - Y_94_7 <= 0 _C612: - Y_22_7 - Y_3_7 + Y_42_7 - Y_43_7 - Y_63_7 - Y_81_7 <= 0 _C613: - Y_22_7 - Y_3_7 - Y_41_7 - Y_42_7 + Y_43_7 - Y_68_7 <= 0 _C614: - Y_14_7 + Y_44_7 - Y_54_7 - Y_67_7 - Y_71_7 - Y_80_7 <= 0 _C615: - Y_15_7 - Y_29_7 - Y_32_7 + Y_45_7 - Y_47_7 - Y_78_7 <= 0 _C616: - Y_10_7 + Y_46_7 - Y_82_7 <= 0 _C617: - Y_1_7 - Y_29_7 - Y_45_7 + Y_47_7 - Y_53_7 - Y_5_7 - Y_73_7 - Y_78_7 - Y_87_7 <= 0 _C618: - Y_23_7 + Y_48_7 - Y_66_7 <= 0 _C619: - Y_17_7 - Y_23_7 - Y_38_7 + Y_49_7 - Y_84_7 <= 0 _C620: - Y_28_7 + Y_50_7 - Y_51_7 - Y_58_7 - Y_91_7 <= 0 _C621: - Y_41_7 - Y_50_7 + Y_51_7 - Y_58_7 - Y_68_7 - Y_91_7 <= 0 _C622: - Y_26_7 - Y_28_7 - Y_2_7 + Y_52_7 - Y_57_7 - Y_64_7 <= 0 _C623: - Y_47_7 + Y_53_7 - Y_59_7 - Y_5_7 - Y_62_7 - Y_73_7 <= 0 _C624: - Y_14_7 - Y_44_7 + Y_54_7 - Y_80_7 - Y_83_7 - Y_85_7 <= 0 _C625: - Y_12_7 - Y_17_7 - Y_27_7 - Y_35_7 - Y_38_7 - Y_39_7 + Y_55_7 - Y_9_7 <= 0 _C626: - Y_26_7 - Y_31_7 - Y_33_7 + Y_56_7 - Y_77_7 <= 0 _C627: - Y_28_7 - Y_2_7 - Y_52_7 + Y_57_7 - Y_58_7 - Y_75_7 - Y_94_7 <= 0 _C628: - Y_28_7 - Y_41_7 - Y_50_7 - Y_51_7 - Y_57_7 + Y_58_7 - Y_94_7 <= 0 _C629: - Y_53_7 + Y_59_7 - Y_61_7 - Y_62_7 - Y_6_7 - Y_70_7 - Y_73_7 <= 0 _C630: - Y_12_7 - Y_35_7 - Y_36_7 + Y_60_7 <= 0 _C631: - Y_33_7 - Y_59_7 + Y_61_7 - Y_6_7 - Y_72_7 - Y_73_7 <= 0 _C632: - Y_53_7 - Y_59_7 - Y_5_7 + Y_62_7 - Y_70_7 <= 0 _C633: - Y_11_7 - Y_22_7 - Y_42_7 + Y_63_7 - Y_74_7 - Y_81_7 <= 0 _C634: - Y_16_7 - Y_26_7 - Y_2_7 - Y_52_7 + Y_64_7 <= 0 _C635: - Y_18_7 - Y_1_7 - Y_25_7 + Y_65_7 - Y_73_7 - Y_76_7 <= 0 _C636: - Y_23_7 - Y_27_7 - Y_48_7 + Y_66_7 - Y_92_7 <= 0 _C637: - Y_14_7 - Y_25_7 - Y_44_7 + Y_67_7 - Y_69_7 - Y_71_7 <= 0 _C638: - Y_21_7 - Y_3_7 - Y_41_7 - Y_43_7 - Y_51_7 + Y_68_7 - Y_91_7 <= 0 _C639: - Y_14_7 - Y_25_7 - Y_67_7 + Y_69_7 - Y_76_7 <= 0 _C640: - Y_59_7 - Y_62_7 - Y_6_7 + Y_70_7 <= 0 _C641: - Y_18_7 - Y_20_7 - Y_25_7 - Y_44_7 - Y_67_7 + Y_71_7 - Y_80_7 - Y_93_7 <= 0 _C642: - Y_18_7 - Y_33_7 - Y_4_7 - Y_61_7 + Y_72_7 - Y_73_7 <= 0 _C643: - Y_18_7 - Y_1_7 - Y_47_7 - Y_53_7 - Y_59_7 - Y_61_7 - Y_65_7 - Y_72_7 + Y_73_7 <= 0 _C644: - Y_11_7 - Y_19_7 - Y_63_7 + Y_74_7 - Y_83_7 <= 0 _C645: - Y_16_7 - Y_19_7 - Y_2_7 - Y_57_7 + Y_75_7 - Y_8_7 - Y_94_7 - Y_95_7 <= 0 _C646: - Y_1_7 - Y_25_7 - Y_65_7 - Y_69_7 + Y_76_7 - Y_7_7 <= 0 _C647: - Y_31_7 - Y_33_7 - Y_4_7 - Y_56_7 + Y_77_7 - Y_88_7 - Y_89_7 <= 0 _C648: - Y_15_7 - Y_45_7 - Y_47_7 - Y_5_7 + Y_78_7 <= 0 _C649: - Y_24_7 + Y_79_7 - Y_84_7 <= 0 _C650: - Y_20_7 - Y_44_7 - Y_54_7 - Y_71_7 + Y_80_7 - Y_85_7 - Y_95_7 <= 0 _C651: - Y_3_7 - Y_40_7 - Y_42_7 - Y_63_7 + Y_81_7 <= 0 _C652: - Y_10_7 - Y_37_7 - Y_46_7 + Y_82_7 - Y_90_7 <= 0 _C653: - Y_19_7 - Y_54_7 - Y_74_7 + Y_83_7 - Y_85_7 - Y_95_7 <= 0 _C654: - Y_24_7 - Y_38_7 - Y_49_7 - Y_79_7 + Y_84_7 <= 0 _C655: - Y_54_7 - Y_80_7 - Y_83_7 + Y_85_7 - Y_95_7 <= 0 _C656: - Y_10_7 - Y_30_7 + Y_86_7 - Y_90_7 <= 0 _C657: - Y_13_7 - Y_1_7 - Y_29_7 - Y_47_7 - Y_7_7 + Y_87_7 <= 0 _C658: - Y_18_7 - Y_4_7 - Y_77_7 + Y_88_7 - Y_89_7 - Y_93_7 <= 0 _C659: - Y_16_7 - Y_20_7 - Y_31_7 - Y_77_7 - Y_88_7 + Y_89_7 - Y_8_7 - Y_93_7 <= 0 _C660: - Y_10_7 - Y_30_7 - Y_37_7 - Y_82_7 - Y_86_7 + Y_90_7 <= 0 _C661: - Y_21_7 - Y_36_7 - Y_50_7 - Y_51_7 - Y_68_7 + Y_91_7 <= 0 _C662: - Y_27_7 - Y_40_7 - Y_66_7 + Y_92_7 - Y_9_7 <= 0 _C663: - Y_18_7 - Y_20_7 - Y_71_7 - Y_88_7 - Y_89_7 + Y_93_7 <= 0 _C664: - Y_11_7 - Y_19_7 - Y_22_7 - Y_41_7 - Y_57_7 - Y_58_7 - Y_75_7 + Y_94_7 <= 0 _C665: - Y_19_7 - Y_20_7 - Y_75_7 - Y_80_7 - Y_83_7 - Y_85_7 - Y_8_7 + Y_95_7 <= 0 _C666: Y_19_1 = 1 _C667: Y_79_2 = 1 _C668: 56356 Y_10_1 + 41072 Y_11_1 + 17341 Y_12_1 + 32043 Y_13_1 + 7581 Y_14_1 + 35999 Y_15_1 + 57889 Y_16_1 + 13911 Y_17_1 + 61145 Y_18_1 + 715884 Y_19_1 + 77123 Y_1_1 + 20080 Y_20_1 + 11435 Y_21_1 + 54315 Y_22_1 + 36801 Y_23_1 + 41990 Y_24_1 + 18489 Y_25_1 + 42774 Y_26_1 + 50429 Y_27_1 + 30346 Y_28_1 + 23527 Y_29_1 + 50237 Y_2_1 + 70152 Y_30_1 + 13529 Y_31_1 + 64499 Y_32_1 + 366207 Y_33_1 + 6662 Y_34_1 + 25462 Y_35_1 + 26831 Y_36_1 + 56721 Y_37_1 + 17864 Y_38_1 + 27842 Y_39_1 + 15864 Y_3_1 + 32199 Y_40_1 + 24925 Y_41_1 + 8283 Y_42_1 + 18990 Y_43_1 + 11617 Y_44_1 + 54683 Y_45_1 + 17948 Y_46_1 + 478971 Y_47_1 + 7005 Y_48_1 + 25143 Y_49_1 + 14913 Y_4_1 + 44159 Y_50_1 + 12582 Y_51_1 + 35319 Y_52_1 + 54886 Y_53_1 + 25216 Y_54_1 + 98823 Y_55_1 + 28837 Y_56_1 + 34318 Y_57_1 + 100974 Y_58_1 + 53276 Y_59_1 + 135280 Y_5_1 + 25866 Y_60_1 + 12758 Y_61_1 + 46250 Y_62_1 + 220069 Y_63_1 + 6461 Y_64_1 + 21035 Y_65_1 + 30787 Y_66_1 + 22511 Y_67_1 + 8366 Y_68_1 + 5001 Y_69_1 + 108620 Y_6_1 + 17544 Y_70_1 + 79854 Y_71_1 + 32870 Y_72_1 + 53404 Y_73_1 + 72803 Y_74_1 + 341486 Y_75_1 + 21850 Y_76_1 + 15826 Y_77_1 + 98380 Y_78_1 + 929744 Y_79_1 + 39272 Y_7_1 + 19904 Y_80_1 + 13657 Y_81_1 + 158163 Y_82_1 + 196281 Y_83_1 + 60970 Y_84_1 + 11615 Y_85_1 + 17928 Y_86_1 + 19802 Y_87_1 + 6168 Y_88_1 + 40953 Y_89_1 + 14506 Y_8_1 + 133001 Y_90_1 + 16232 Y_91_1 + 32902 Y_92_1 + 27351 Y_93_1 + 247726 Y_94_1 + 147737 Y_95_1 + 28440 Y_9_1 <= 1842890.66667 _C669: 56356 Y_10_1 + 41072 Y_11_1 + 17341 Y_12_1 + 32043 Y_13_1 + 7581 Y_14_1 + 35999 Y_15_1 + 57889 Y_16_1 + 13911 Y_17_1 + 61145 Y_18_1 + 715884 Y_19_1 + 77123 Y_1_1 + 20080 Y_20_1 + 11435 Y_21_1 + 54315 Y_22_1 + 36801 Y_23_1 + 41990 Y_24_1 + 18489 Y_25_1 + 42774 Y_26_1 + 50429 Y_27_1 + 30346 Y_28_1 + 23527 Y_29_1 + 50237 Y_2_1 + 70152 Y_30_1 + 13529 Y_31_1 + 64499 Y_32_1 + 366207 Y_33_1 + 6662 Y_34_1 + 25462 Y_35_1 + 26831 Y_36_1 + 56721 Y_37_1 + 17864 Y_38_1 + 27842 Y_39_1 + 15864 Y_3_1 + 32199 Y_40_1 + 24925 Y_41_1 + 8283 Y_42_1 + 18990 Y_43_1 + 11617 Y_44_1 + 54683 Y_45_1 + 17948 Y_46_1 + 478971 Y_47_1 + 7005 Y_48_1 + 25143 Y_49_1 + 14913 Y_4_1 + 44159 Y_50_1 + 12582 Y_51_1 + 35319 Y_52_1 + 54886 Y_53_1 + 25216 Y_54_1 + 98823 Y_55_1 + 28837 Y_56_1 + 34318 Y_57_1 + 100974 Y_58_1 + 53276 Y_59_1 + 135280 Y_5_1 + 25866 Y_60_1 + 12758 Y_61_1 + 46250 Y_62_1 + 220069 Y_63_1 + 6461 Y_64_1 + 21035 Y_65_1 + 30787 Y_66_1 + 22511 Y_67_1 + 8366 Y_68_1 + 5001 Y_69_1 + 108620 Y_6_1 + 17544 Y_70_1 + 79854 Y_71_1 + 32870 Y_72_1 + 53404 Y_73_1 + 72803 Y_74_1 + 341486 Y_75_1 + 21850 Y_76_1 + 15826 Y_77_1 + 98380 Y_78_1 + 929744 Y_79_1 + 39272 Y_7_1 + 19904 Y_80_1 + 13657 Y_81_1 + 158163 Y_82_1 + 196281 Y_83_1 + 60970 Y_84_1 + 11615 Y_85_1 + 17928 Y_86_1 + 19802 Y_87_1 + 6168 Y_88_1 + 40953 Y_89_1 + 14506 Y_8_1 + 133001 Y_90_1 + 16232 Y_91_1 + 32902 Y_92_1 + 27351 Y_93_1 + 247726 Y_94_1 + 147737 Y_95_1 + 28440 Y_9_1 >= 1228593.77778 _C670: 56356 Y_10_2 + 41072 Y_11_2 + 17341 Y_12_2 + 32043 Y_13_2 + 7581 Y_14_2 + 35999 Y_15_2 + 57889 Y_16_2 + 13911 Y_17_2 + 61145 Y_18_2 + 715884 Y_19_2 + 77123 Y_1_2 + 20080 Y_20_2 + 11435 Y_21_2 + 54315 Y_22_2 + 36801 Y_23_2 + 41990 Y_24_2 + 18489 Y_25_2 + 42774 Y_26_2 + 50429 Y_27_2 + 30346 Y_28_2 + 23527 Y_29_2 + 50237 Y_2_2 + 70152 Y_30_2 + 13529 Y_31_2 + 64499 Y_32_2 + 366207 Y_33_2 + 6662 Y_34_2 + 25462 Y_35_2 + 26831 Y_36_2 + 56721 Y_37_2 + 17864 Y_38_2 + 27842 Y_39_2 + 15864 Y_3_2 + 32199 Y_40_2 + 24925 Y_41_2 + 8283 Y_42_2 + 18990 Y_43_2 + 11617 Y_44_2 + 54683 Y_45_2 + 17948 Y_46_2 + 478971 Y_47_2 + 7005 Y_48_2 + 25143 Y_49_2 + 14913 Y_4_2 + 44159 Y_50_2 + 12582 Y_51_2 + 35319 Y_52_2 + 54886 Y_53_2 + 25216 Y_54_2 + 98823 Y_55_2 + 28837 Y_56_2 + 34318 Y_57_2 + 100974 Y_58_2 + 53276 Y_59_2 + 135280 Y_5_2 + 25866 Y_60_2 + 12758 Y_61_2 + 46250 Y_62_2 + 220069 Y_63_2 + 6461 Y_64_2 + 21035 Y_65_2 + 30787 Y_66_2 + 22511 Y_67_2 + 8366 Y_68_2 + 5001 Y_69_2 + 108620 Y_6_2 + 17544 Y_70_2 + 79854 Y_71_2 + 32870 Y_72_2 + 53404 Y_73_2 + 72803 Y_74_2 + 341486 Y_75_2 + 21850 Y_76_2 + 15826 Y_77_2 + 98380 Y_78_2 + 929744 Y_79_2 + 39272 Y_7_2 + 19904 Y_80_2 + 13657 Y_81_2 + 158163 Y_82_2 + 196281 Y_83_2 + 60970 Y_84_2 + 11615 Y_85_2 + 17928 Y_86_2 + 19802 Y_87_2 + 6168 Y_88_2 + 40953 Y_89_2 + 14506 Y_8_2 + 133001 Y_90_2 + 16232 Y_91_2 + 32902 Y_92_2 + 27351 Y_93_2 + 247726 Y_94_2 + 147737 Y_95_2 + 28440 Y_9_2 <= 1842890.66667 _C671: 56356 Y_10_2 + 41072 Y_11_2 + 17341 Y_12_2 + 32043 Y_13_2 + 7581 Y_14_2 + 35999 Y_15_2 + 57889 Y_16_2 + 13911 Y_17_2 + 61145 Y_18_2 + 715884 Y_19_2 + 77123 Y_1_2 + 20080 Y_20_2 + 11435 Y_21_2 + 54315 Y_22_2 + 36801 Y_23_2 + 41990 Y_24_2 + 18489 Y_25_2 + 42774 Y_26_2 + 50429 Y_27_2 + 30346 Y_28_2 + 23527 Y_29_2 + 50237 Y_2_2 + 70152 Y_30_2 + 13529 Y_31_2 + 64499 Y_32_2 + 366207 Y_33_2 + 6662 Y_34_2 + 25462 Y_35_2 + 26831 Y_36_2 + 56721 Y_37_2 + 17864 Y_38_2 + 27842 Y_39_2 + 15864 Y_3_2 + 32199 Y_40_2 + 24925 Y_41_2 + 8283 Y_42_2 + 18990 Y_43_2 + 11617 Y_44_2 + 54683 Y_45_2 + 17948 Y_46_2 + 478971 Y_47_2 + 7005 Y_48_2 + 25143 Y_49_2 + 14913 Y_4_2 + 44159 Y_50_2 + 12582 Y_51_2 + 35319 Y_52_2 + 54886 Y_53_2 + 25216 Y_54_2 + 98823 Y_55_2 + 28837 Y_56_2 + 34318 Y_57_2 + 100974 Y_58_2 + 53276 Y_59_2 + 135280 Y_5_2 + 25866 Y_60_2 + 12758 Y_61_2 + 46250 Y_62_2 + 220069 Y_63_2 + 6461 Y_64_2 + 21035 Y_65_2 + 30787 Y_66_2 + 22511 Y_67_2 + 8366 Y_68_2 + 5001 Y_69_2 + 108620 Y_6_2 + 17544 Y_70_2 + 79854 Y_71_2 + 32870 Y_72_2 + 53404 Y_73_2 + 72803 Y_74_2 + 341486 Y_75_2 + 21850 Y_76_2 + 15826 Y_77_2 + 98380 Y_78_2 + 929744 Y_79_2 + 39272 Y_7_2 + 19904 Y_80_2 + 13657 Y_81_2 + 158163 Y_82_2 + 196281 Y_83_2 + 60970 Y_84_2 + 11615 Y_85_2 + 17928 Y_86_2 + 19802 Y_87_2 + 6168 Y_88_2 + 40953 Y_89_2 + 14506 Y_8_2 + 133001 Y_90_2 + 16232 Y_91_2 + 32902 Y_92_2 + 27351 Y_93_2 + 247726 Y_94_2 + 147737 Y_95_2 + 28440 Y_9_2 >= 1228593.77778 _C672: 56356 Y_10_3 + 41072 Y_11_3 + 17341 Y_12_3 + 32043 Y_13_3 + 7581 Y_14_3 + 35999 Y_15_3 + 57889 Y_16_3 + 13911 Y_17_3 + 61145 Y_18_3 + 715884 Y_19_3 + 77123 Y_1_3 + 20080 Y_20_3 + 11435 Y_21_3 + 54315 Y_22_3 + 36801 Y_23_3 + 41990 Y_24_3 + 18489 Y_25_3 + 42774 Y_26_3 + 50429 Y_27_3 + 30346 Y_28_3 + 23527 Y_29_3 + 50237 Y_2_3 + 70152 Y_30_3 + 13529 Y_31_3 + 64499 Y_32_3 + 366207 Y_33_3 + 6662 Y_34_3 + 25462 Y_35_3 + 26831 Y_36_3 + 56721 Y_37_3 + 17864 Y_38_3 + 27842 Y_39_3 + 15864 Y_3_3 + 32199 Y_40_3 + 24925 Y_41_3 + 8283 Y_42_3 + 18990 Y_43_3 + 11617 Y_44_3 + 54683 Y_45_3 + 17948 Y_46_3 + 478971 Y_47_3 + 7005 Y_48_3 + 25143 Y_49_3 + 14913 Y_4_3 + 44159 Y_50_3 + 12582 Y_51_3 + 35319 Y_52_3 + 54886 Y_53_3 + 25216 Y_54_3 + 98823 Y_55_3 + 28837 Y_56_3 + 34318 Y_57_3 + 100974 Y_58_3 + 53276 Y_59_3 + 135280 Y_5_3 + 25866 Y_60_3 + 12758 Y_61_3 + 46250 Y_62_3 + 220069 Y_63_3 + 6461 Y_64_3 + 21035 Y_65_3 + 30787 Y_66_3 + 22511 Y_67_3 + 8366 Y_68_3 + 5001 Y_69_3 + 108620 Y_6_3 + 17544 Y_70_3 + 79854 Y_71_3 + 32870 Y_72_3 + 53404 Y_73_3 + 72803 Y_74_3 + 341486 Y_75_3 + 21850 Y_76_3 + 15826 Y_77_3 + 98380 Y_78_3 + 929744 Y_79_3 + 39272 Y_7_3 + 19904 Y_80_3 + 13657 Y_81_3 + 158163 Y_82_3 + 196281 Y_83_3 + 60970 Y_84_3 + 11615 Y_85_3 + 17928 Y_86_3 + 19802 Y_87_3 + 6168 Y_88_3 + 40953 Y_89_3 + 14506 Y_8_3 + 133001 Y_90_3 + 16232 Y_91_3 + 32902 Y_92_3 + 27351 Y_93_3 + 247726 Y_94_3 + 147737 Y_95_3 + 28440 Y_9_3 <= 921445.333333 _C673: 56356 Y_10_3 + 41072 Y_11_3 + 17341 Y_12_3 + 32043 Y_13_3 + 7581 Y_14_3 + 35999 Y_15_3 + 57889 Y_16_3 + 13911 Y_17_3 + 61145 Y_18_3 + 715884 Y_19_3 + 77123 Y_1_3 + 20080 Y_20_3 + 11435 Y_21_3 + 54315 Y_22_3 + 36801 Y_23_3 + 41990 Y_24_3 + 18489 Y_25_3 + 42774 Y_26_3 + 50429 Y_27_3 + 30346 Y_28_3 + 23527 Y_29_3 + 50237 Y_2_3 + 70152 Y_30_3 + 13529 Y_31_3 + 64499 Y_32_3 + 366207 Y_33_3 + 6662 Y_34_3 + 25462 Y_35_3 + 26831 Y_36_3 + 56721 Y_37_3 + 17864 Y_38_3 + 27842 Y_39_3 + 15864 Y_3_3 + 32199 Y_40_3 + 24925 Y_41_3 + 8283 Y_42_3 + 18990 Y_43_3 + 11617 Y_44_3 + 54683 Y_45_3 + 17948 Y_46_3 + 478971 Y_47_3 + 7005 Y_48_3 + 25143 Y_49_3 + 14913 Y_4_3 + 44159 Y_50_3 + 12582 Y_51_3 + 35319 Y_52_3 + 54886 Y_53_3 + 25216 Y_54_3 + 98823 Y_55_3 + 28837 Y_56_3 + 34318 Y_57_3 + 100974 Y_58_3 + 53276 Y_59_3 + 135280 Y_5_3 + 25866 Y_60_3 + 12758 Y_61_3 + 46250 Y_62_3 + 220069 Y_63_3 + 6461 Y_64_3 + 21035 Y_65_3 + 30787 Y_66_3 + 22511 Y_67_3 + 8366 Y_68_3 + 5001 Y_69_3 + 108620 Y_6_3 + 17544 Y_70_3 + 79854 Y_71_3 + 32870 Y_72_3 + 53404 Y_73_3 + 72803 Y_74_3 + 341486 Y_75_3 + 21850 Y_76_3 + 15826 Y_77_3 + 98380 Y_78_3 + 929744 Y_79_3 + 39272 Y_7_3 + 19904 Y_80_3 + 13657 Y_81_3 + 158163 Y_82_3 + 196281 Y_83_3 + 60970 Y_84_3 + 11615 Y_85_3 + 17928 Y_86_3 + 19802 Y_87_3 + 6168 Y_88_3 + 40953 Y_89_3 + 14506 Y_8_3 + 133001 Y_90_3 + 16232 Y_91_3 + 32902 Y_92_3 + 27351 Y_93_3 + 247726 Y_94_3 + 147737 Y_95_3 + 28440 Y_9_3 >= 614296.888889 _C674: 56356 Y_10_4 + 41072 Y_11_4 + 17341 Y_12_4 + 32043 Y_13_4 + 7581 Y_14_4 + 35999 Y_15_4 + 57889 Y_16_4 + 13911 Y_17_4 + 61145 Y_18_4 + 715884 Y_19_4 + 77123 Y_1_4 + 20080 Y_20_4 + 11435 Y_21_4 + 54315 Y_22_4 + 36801 Y_23_4 + 41990 Y_24_4 + 18489 Y_25_4 + 42774 Y_26_4 + 50429 Y_27_4 + 30346 Y_28_4 + 23527 Y_29_4 + 50237 Y_2_4 + 70152 Y_30_4 + 13529 Y_31_4 + 64499 Y_32_4 + 366207 Y_33_4 + 6662 Y_34_4 + 25462 Y_35_4 + 26831 Y_36_4 + 56721 Y_37_4 + 17864 Y_38_4 + 27842 Y_39_4 + 15864 Y_3_4 + 32199 Y_40_4 + 24925 Y_41_4 + 8283 Y_42_4 + 18990 Y_43_4 + 11617 Y_44_4 + 54683 Y_45_4 + 17948 Y_46_4 + 478971 Y_47_4 + 7005 Y_48_4 + 25143 Y_49_4 + 14913 Y_4_4 + 44159 Y_50_4 + 12582 Y_51_4 + 35319 Y_52_4 + 54886 Y_53_4 + 25216 Y_54_4 + 98823 Y_55_4 + 28837 Y_56_4 + 34318 Y_57_4 + 100974 Y_58_4 + 53276 Y_59_4 + 135280 Y_5_4 + 25866 Y_60_4 + 12758 Y_61_4 + 46250 Y_62_4 + 220069 Y_63_4 + 6461 Y_64_4 + 21035 Y_65_4 + 30787 Y_66_4 + 22511 Y_67_4 + 8366 Y_68_4 + 5001 Y_69_4 + 108620 Y_6_4 + 17544 Y_70_4 + 79854 Y_71_4 + 32870 Y_72_4 + 53404 Y_73_4 + 72803 Y_74_4 + 341486 Y_75_4 + 21850 Y_76_4 + 15826 Y_77_4 + 98380 Y_78_4 + 929744 Y_79_4 + 39272 Y_7_4 + 19904 Y_80_4 + 13657 Y_81_4 + 158163 Y_82_4 + 196281 Y_83_4 + 60970 Y_84_4 + 11615 Y_85_4 + 17928 Y_86_4 + 19802 Y_87_4 + 6168 Y_88_4 + 40953 Y_89_4 + 14506 Y_8_4 + 133001 Y_90_4 + 16232 Y_91_4 + 32902 Y_92_4 + 27351 Y_93_4 + 247726 Y_94_4 + 147737 Y_95_4 + 28440 Y_9_4 <= 921445.333333 _C675: 56356 Y_10_4 + 41072 Y_11_4 + 17341 Y_12_4 + 32043 Y_13_4 + 7581 Y_14_4 + 35999 Y_15_4 + 57889 Y_16_4 + 13911 Y_17_4 + 61145 Y_18_4 + 715884 Y_19_4 + 77123 Y_1_4 + 20080 Y_20_4 + 11435 Y_21_4 + 54315 Y_22_4 + 36801 Y_23_4 + 41990 Y_24_4 + 18489 Y_25_4 + 42774 Y_26_4 + 50429 Y_27_4 + 30346 Y_28_4 + 23527 Y_29_4 + 50237 Y_2_4 + 70152 Y_30_4 + 13529 Y_31_4 + 64499 Y_32_4 + 366207 Y_33_4 + 6662 Y_34_4 + 25462 Y_35_4 + 26831 Y_36_4 + 56721 Y_37_4 + 17864 Y_38_4 + 27842 Y_39_4 + 15864 Y_3_4 + 32199 Y_40_4 + 24925 Y_41_4 + 8283 Y_42_4 + 18990 Y_43_4 + 11617 Y_44_4 + 54683 Y_45_4 + 17948 Y_46_4 + 478971 Y_47_4 + 7005 Y_48_4 + 25143 Y_49_4 + 14913 Y_4_4 + 44159 Y_50_4 + 12582 Y_51_4 + 35319 Y_52_4 + 54886 Y_53_4 + 25216 Y_54_4 + 98823 Y_55_4 + 28837 Y_56_4 + 34318 Y_57_4 + 100974 Y_58_4 + 53276 Y_59_4 + 135280 Y_5_4 + 25866 Y_60_4 + 12758 Y_61_4 + 46250 Y_62_4 + 220069 Y_63_4 + 6461 Y_64_4 + 21035 Y_65_4 + 30787 Y_66_4 + 22511 Y_67_4 + 8366 Y_68_4 + 5001 Y_69_4 + 108620 Y_6_4 + 17544 Y_70_4 + 79854 Y_71_4 + 32870 Y_72_4 + 53404 Y_73_4 + 72803 Y_74_4 + 341486 Y_75_4 + 21850 Y_76_4 + 15826 Y_77_4 + 98380 Y_78_4 + 929744 Y_79_4 + 39272 Y_7_4 + 19904 Y_80_4 + 13657 Y_81_4 + 158163 Y_82_4 + 196281 Y_83_4 + 60970 Y_84_4 + 11615 Y_85_4 + 17928 Y_86_4 + 19802 Y_87_4 + 6168 Y_88_4 + 40953 Y_89_4 + 14506 Y_8_4 + 133001 Y_90_4 + 16232 Y_91_4 + 32902 Y_92_4 + 27351 Y_93_4 + 247726 Y_94_4 + 147737 Y_95_4 + 28440 Y_9_4 >= 614296.888889 _C676: 56356 Y_10_5 + 41072 Y_11_5 + 17341 Y_12_5 + 32043 Y_13_5 + 7581 Y_14_5 + 35999 Y_15_5 + 57889 Y_16_5 + 13911 Y_17_5 + 61145 Y_18_5 + 715884 Y_19_5 + 77123 Y_1_5 + 20080 Y_20_5 + 11435 Y_21_5 + 54315 Y_22_5 + 36801 Y_23_5 + 41990 Y_24_5 + 18489 Y_25_5 + 42774 Y_26_5 + 50429 Y_27_5 + 30346 Y_28_5 + 23527 Y_29_5 + 50237 Y_2_5 + 70152 Y_30_5 + 13529 Y_31_5 + 64499 Y_32_5 + 366207 Y_33_5 + 6662 Y_34_5 + 25462 Y_35_5 + 26831 Y_36_5 + 56721 Y_37_5 + 17864 Y_38_5 + 27842 Y_39_5 + 15864 Y_3_5 + 32199 Y_40_5 + 24925 Y_41_5 + 8283 Y_42_5 + 18990 Y_43_5 + 11617 Y_44_5 + 54683 Y_45_5 + 17948 Y_46_5 + 478971 Y_47_5 + 7005 Y_48_5 + 25143 Y_49_5 + 14913 Y_4_5 + 44159 Y_50_5 + 12582 Y_51_5 + 35319 Y_52_5 + 54886 Y_53_5 + 25216 Y_54_5 + 98823 Y_55_5 + 28837 Y_56_5 + 34318 Y_57_5 + 100974 Y_58_5 + 53276 Y_59_5 + 135280 Y_5_5 + 25866 Y_60_5 + 12758 Y_61_5 + 46250 Y_62_5 + 220069 Y_63_5 + 6461 Y_64_5 + 21035 Y_65_5 + 30787 Y_66_5 + 22511 Y_67_5 + 8366 Y_68_5 + 5001 Y_69_5 + 108620 Y_6_5 + 17544 Y_70_5 + 79854 Y_71_5 + 32870 Y_72_5 + 53404 Y_73_5 + 72803 Y_74_5 + 341486 Y_75_5 + 21850 Y_76_5 + 15826 Y_77_5 + 98380 Y_78_5 + 929744 Y_79_5 + 39272 Y_7_5 + 19904 Y_80_5 + 13657 Y_81_5 + 158163 Y_82_5 + 196281 Y_83_5 + 60970 Y_84_5 + 11615 Y_85_5 + 17928 Y_86_5 + 19802 Y_87_5 + 6168 Y_88_5 + 40953 Y_89_5 + 14506 Y_8_5 + 133001 Y_90_5 + 16232 Y_91_5 + 32902 Y_92_5 + 27351 Y_93_5 + 247726 Y_94_5 + 147737 Y_95_5 + 28440 Y_9_5 <= 921445.333333 _C677: 56356 Y_10_5 + 41072 Y_11_5 + 17341 Y_12_5 + 32043 Y_13_5 + 7581 Y_14_5 + 35999 Y_15_5 + 57889 Y_16_5 + 13911 Y_17_5 + 61145 Y_18_5 + 715884 Y_19_5 + 77123 Y_1_5 + 20080 Y_20_5 + 11435 Y_21_5 + 54315 Y_22_5 + 36801 Y_23_5 + 41990 Y_24_5 + 18489 Y_25_5 + 42774 Y_26_5 + 50429 Y_27_5 + 30346 Y_28_5 + 23527 Y_29_5 + 50237 Y_2_5 + 70152 Y_30_5 + 13529 Y_31_5 + 64499 Y_32_5 + 366207 Y_33_5 + 6662 Y_34_5 + 25462 Y_35_5 + 26831 Y_36_5 + 56721 Y_37_5 + 17864 Y_38_5 + 27842 Y_39_5 + 15864 Y_3_5 + 32199 Y_40_5 + 24925 Y_41_5 + 8283 Y_42_5 + 18990 Y_43_5 + 11617 Y_44_5 + 54683 Y_45_5 + 17948 Y_46_5 + 478971 Y_47_5 + 7005 Y_48_5 + 25143 Y_49_5 + 14913 Y_4_5 + 44159 Y_50_5 + 12582 Y_51_5 + 35319 Y_52_5 + 54886 Y_53_5 + 25216 Y_54_5 + 98823 Y_55_5 + 28837 Y_56_5 + 34318 Y_57_5 + 100974 Y_58_5 + 53276 Y_59_5 + 135280 Y_5_5 + 25866 Y_60_5 + 12758 Y_61_5 + 46250 Y_62_5 + 220069 Y_63_5 + 6461 Y_64_5 + 21035 Y_65_5 + 30787 Y_66_5 + 22511 Y_67_5 + 8366 Y_68_5 + 5001 Y_69_5 + 108620 Y_6_5 + 17544 Y_70_5 + 79854 Y_71_5 + 32870 Y_72_5 + 53404 Y_73_5 + 72803 Y_74_5 + 341486 Y_75_5 + 21850 Y_76_5 + 15826 Y_77_5 + 98380 Y_78_5 + 929744 Y_79_5 + 39272 Y_7_5 + 19904 Y_80_5 + 13657 Y_81_5 + 158163 Y_82_5 + 196281 Y_83_5 + 60970 Y_84_5 + 11615 Y_85_5 + 17928 Y_86_5 + 19802 Y_87_5 + 6168 Y_88_5 + 40953 Y_89_5 + 14506 Y_8_5 + 133001 Y_90_5 + 16232 Y_91_5 + 32902 Y_92_5 + 27351 Y_93_5 + 247726 Y_94_5 + 147737 Y_95_5 + 28440 Y_9_5 >= 614296.888889 _C678: 56356 Y_10_6 + 41072 Y_11_6 + 17341 Y_12_6 + 32043 Y_13_6 + 7581 Y_14_6 + 35999 Y_15_6 + 57889 Y_16_6 + 13911 Y_17_6 + 61145 Y_18_6 + 715884 Y_19_6 + 77123 Y_1_6 + 20080 Y_20_6 + 11435 Y_21_6 + 54315 Y_22_6 + 36801 Y_23_6 + 41990 Y_24_6 + 18489 Y_25_6 + 42774 Y_26_6 + 50429 Y_27_6 + 30346 Y_28_6 + 23527 Y_29_6 + 50237 Y_2_6 + 70152 Y_30_6 + 13529 Y_31_6 + 64499 Y_32_6 + 366207 Y_33_6 + 6662 Y_34_6 + 25462 Y_35_6 + 26831 Y_36_6 + 56721 Y_37_6 + 17864 Y_38_6 + 27842 Y_39_6 + 15864 Y_3_6 + 32199 Y_40_6 + 24925 Y_41_6 + 8283 Y_42_6 + 18990 Y_43_6 + 11617 Y_44_6 + 54683 Y_45_6 + 17948 Y_46_6 + 478971 Y_47_6 + 7005 Y_48_6 + 25143 Y_49_6 + 14913 Y_4_6 + 44159 Y_50_6 + 12582 Y_51_6 + 35319 Y_52_6 + 54886 Y_53_6 + 25216 Y_54_6 + 98823 Y_55_6 + 28837 Y_56_6 + 34318 Y_57_6 + 100974 Y_58_6 + 53276 Y_59_6 + 135280 Y_5_6 + 25866 Y_60_6 + 12758 Y_61_6 + 46250 Y_62_6 + 220069 Y_63_6 + 6461 Y_64_6 + 21035 Y_65_6 + 30787 Y_66_6 + 22511 Y_67_6 + 8366 Y_68_6 + 5001 Y_69_6 + 108620 Y_6_6 + 17544 Y_70_6 + 79854 Y_71_6 + 32870 Y_72_6 + 53404 Y_73_6 + 72803 Y_74_6 + 341486 Y_75_6 + 21850 Y_76_6 + 15826 Y_77_6 + 98380 Y_78_6 + 929744 Y_79_6 + 39272 Y_7_6 + 19904 Y_80_6 + 13657 Y_81_6 + 158163 Y_82_6 + 196281 Y_83_6 + 60970 Y_84_6 + 11615 Y_85_6 + 17928 Y_86_6 + 19802 Y_87_6 + 6168 Y_88_6 + 40953 Y_89_6 + 14506 Y_8_6 + 133001 Y_90_6 + 16232 Y_91_6 + 32902 Y_92_6 + 27351 Y_93_6 + 247726 Y_94_6 + 147737 Y_95_6 + 28440 Y_9_6 <= 921445.333333 _C679: 56356 Y_10_6 + 41072 Y_11_6 + 17341 Y_12_6 + 32043 Y_13_6 + 7581 Y_14_6 + 35999 Y_15_6 + 57889 Y_16_6 + 13911 Y_17_6 + 61145 Y_18_6 + 715884 Y_19_6 + 77123 Y_1_6 + 20080 Y_20_6 + 11435 Y_21_6 + 54315 Y_22_6 + 36801 Y_23_6 + 41990 Y_24_6 + 18489 Y_25_6 + 42774 Y_26_6 + 50429 Y_27_6 + 30346 Y_28_6 + 23527 Y_29_6 + 50237 Y_2_6 + 70152 Y_30_6 + 13529 Y_31_6 + 64499 Y_32_6 + 366207 Y_33_6 + 6662 Y_34_6 + 25462 Y_35_6 + 26831 Y_36_6 + 56721 Y_37_6 + 17864 Y_38_6 + 27842 Y_39_6 + 15864 Y_3_6 + 32199 Y_40_6 + 24925 Y_41_6 + 8283 Y_42_6 + 18990 Y_43_6 + 11617 Y_44_6 + 54683 Y_45_6 + 17948 Y_46_6 + 478971 Y_47_6 + 7005 Y_48_6 + 25143 Y_49_6 + 14913 Y_4_6 + 44159 Y_50_6 + 12582 Y_51_6 + 35319 Y_52_6 + 54886 Y_53_6 + 25216 Y_54_6 + 98823 Y_55_6 + 28837 Y_56_6 + 34318 Y_57_6 + 100974 Y_58_6 + 53276 Y_59_6 + 135280 Y_5_6 + 25866 Y_60_6 + 12758 Y_61_6 + 46250 Y_62_6 + 220069 Y_63_6 + 6461 Y_64_6 + 21035 Y_65_6 + 30787 Y_66_6 + 22511 Y_67_6 + 8366 Y_68_6 + 5001 Y_69_6 + 108620 Y_6_6 + 17544 Y_70_6 + 79854 Y_71_6 + 32870 Y_72_6 + 53404 Y_73_6 + 72803 Y_74_6 + 341486 Y_75_6 + 21850 Y_76_6 + 15826 Y_77_6 + 98380 Y_78_6 + 929744 Y_79_6 + 39272 Y_7_6 + 19904 Y_80_6 + 13657 Y_81_6 + 158163 Y_82_6 + 196281 Y_83_6 + 60970 Y_84_6 + 11615 Y_85_6 + 17928 Y_86_6 + 19802 Y_87_6 + 6168 Y_88_6 + 40953 Y_89_6 + 14506 Y_8_6 + 133001 Y_90_6 + 16232 Y_91_6 + 32902 Y_92_6 + 27351 Y_93_6 + 247726 Y_94_6 + 147737 Y_95_6 + 28440 Y_9_6 >= 614296.888889 _C680: 56356 Y_10_7 + 41072 Y_11_7 + 17341 Y_12_7 + 32043 Y_13_7 + 7581 Y_14_7 + 35999 Y_15_7 + 57889 Y_16_7 + 13911 Y_17_7 + 61145 Y_18_7 + 715884 Y_19_7 + 77123 Y_1_7 + 20080 Y_20_7 + 11435 Y_21_7 + 54315 Y_22_7 + 36801 Y_23_7 + 41990 Y_24_7 + 18489 Y_25_7 + 42774 Y_26_7 + 50429 Y_27_7 + 30346 Y_28_7 + 23527 Y_29_7 + 50237 Y_2_7 + 70152 Y_30_7 + 13529 Y_31_7 + 64499 Y_32_7 + 366207 Y_33_7 + 6662 Y_34_7 + 25462 Y_35_7 + 26831 Y_36_7 + 56721 Y_37_7 + 17864 Y_38_7 + 27842 Y_39_7 + 15864 Y_3_7 + 32199 Y_40_7 + 24925 Y_41_7 + 8283 Y_42_7 + 18990 Y_43_7 + 11617 Y_44_7 + 54683 Y_45_7 + 17948 Y_46_7 + 478971 Y_47_7 + 7005 Y_48_7 + 25143 Y_49_7 + 14913 Y_4_7 + 44159 Y_50_7 + 12582 Y_51_7 + 35319 Y_52_7 + 54886 Y_53_7 + 25216 Y_54_7 + 98823 Y_55_7 + 28837 Y_56_7 + 34318 Y_57_7 + 100974 Y_58_7 + 53276 Y_59_7 + 135280 Y_5_7 + 25866 Y_60_7 + 12758 Y_61_7 + 46250 Y_62_7 + 220069 Y_63_7 + 6461 Y_64_7 + 21035 Y_65_7 + 30787 Y_66_7 + 22511 Y_67_7 + 8366 Y_68_7 + 5001 Y_69_7 + 108620 Y_6_7 + 17544 Y_70_7 + 79854 Y_71_7 + 32870 Y_72_7 + 53404 Y_73_7 + 72803 Y_74_7 + 341486 Y_75_7 + 21850 Y_76_7 + 15826 Y_77_7 + 98380 Y_78_7 + 929744 Y_79_7 + 39272 Y_7_7 + 19904 Y_80_7 + 13657 Y_81_7 + 158163 Y_82_7 + 196281 Y_83_7 + 60970 Y_84_7 + 11615 Y_85_7 + 17928 Y_86_7 + 19802 Y_87_7 + 6168 Y_88_7 + 40953 Y_89_7 + 14506 Y_8_7 + 133001 Y_90_7 + 16232 Y_91_7 + 32902 Y_92_7 + 27351 Y_93_7 + 247726 Y_94_7 + 147737 Y_95_7 + 28440 Y_9_7 <= 921445.333333 _C681: 56356 Y_10_7 + 41072 Y_11_7 + 17341 Y_12_7 + 32043 Y_13_7 + 7581 Y_14_7 + 35999 Y_15_7 + 57889 Y_16_7 + 13911 Y_17_7 + 61145 Y_18_7 + 715884 Y_19_7 + 77123 Y_1_7 + 20080 Y_20_7 + 11435 Y_21_7 + 54315 Y_22_7 + 36801 Y_23_7 + 41990 Y_24_7 + 18489 Y_25_7 + 42774 Y_26_7 + 50429 Y_27_7 + 30346 Y_28_7 + 23527 Y_29_7 + 50237 Y_2_7 + 70152 Y_30_7 + 13529 Y_31_7 + 64499 Y_32_7 + 366207 Y_33_7 + 6662 Y_34_7 + 25462 Y_35_7 + 26831 Y_36_7 + 56721 Y_37_7 + 17864 Y_38_7 + 27842 Y_39_7 + 15864 Y_3_7 + 32199 Y_40_7 + 24925 Y_41_7 + 8283 Y_42_7 + 18990 Y_43_7 + 11617 Y_44_7 + 54683 Y_45_7 + 17948 Y_46_7 + 478971 Y_47_7 + 7005 Y_48_7 + 25143 Y_49_7 + 14913 Y_4_7 + 44159 Y_50_7 + 12582 Y_51_7 + 35319 Y_52_7 + 54886 Y_53_7 + 25216 Y_54_7 + 98823 Y_55_7 + 28837 Y_56_7 + 34318 Y_57_7 + 100974 Y_58_7 + 53276 Y_59_7 + 135280 Y_5_7 + 25866 Y_60_7 + 12758 Y_61_7 + 46250 Y_62_7 + 220069 Y_63_7 + 6461 Y_64_7 + 21035 Y_65_7 + 30787 Y_66_7 + 22511 Y_67_7 + 8366 Y_68_7 + 5001 Y_69_7 + 108620 Y_6_7 + 17544 Y_70_7 + 79854 Y_71_7 + 32870 Y_72_7 + 53404 Y_73_7 + 72803 Y_74_7 + 341486 Y_75_7 + 21850 Y_76_7 + 15826 Y_77_7 + 98380 Y_78_7 + 929744 Y_79_7 + 39272 Y_7_7 + 19904 Y_80_7 + 13657 Y_81_7 + 158163 Y_82_7 + 196281 Y_83_7 + 60970 Y_84_7 + 11615 Y_85_7 + 17928 Y_86_7 + 19802 Y_87_7 + 6168 Y_88_7 + 40953 Y_89_7 + 14506 Y_8_7 + 133001 Y_90_7 + 16232 Y_91_7 + 32902 Y_92_7 + 27351 Y_93_7 + 247726 Y_94_7 + 147737 Y_95_7 + 28440 Y_9_7 >= 614296.888889 _C682: Y_1_1 + Y_1_2 + Y_1_3 + Y_1_4 + Y_1_5 + Y_1_6 + Y_1_7 = 1 _C683: Y_2_1 + Y_2_2 + Y_2_3 + Y_2_4 + Y_2_5 + Y_2_6 + Y_2_7 = 1 _C684: Y_3_1 + Y_3_2 + Y_3_3 + Y_3_4 + Y_3_5 + Y_3_6 + Y_3_7 = 1 _C685: Y_4_1 + Y_4_2 + Y_4_3 + Y_4_4 + Y_4_5 + Y_4_6 + Y_4_7 = 1 _C686: Y_5_1 + Y_5_2 + Y_5_3 + Y_5_4 + Y_5_5 + Y_5_6 + Y_5_7 = 1 _C687: Y_6_1 + Y_6_2 + Y_6_3 + Y_6_4 + Y_6_5 + Y_6_6 + Y_6_7 = 1 _C688: Y_7_1 + Y_7_2 + Y_7_3 + Y_7_4 + Y_7_5 + Y_7_6 + Y_7_7 = 1 _C689: Y_8_1 + Y_8_2 + Y_8_3 + Y_8_4 + Y_8_5 + Y_8_6 + Y_8_7 = 1 _C690: Y_9_1 + Y_9_2 + Y_9_3 + Y_9_4 + Y_9_5 + Y_9_6 + Y_9_7 = 1 _C691: Y_10_1 + Y_10_2 + Y_10_3 + Y_10_4 + Y_10_5 + Y_10_6 + Y_10_7 = 1 _C692: Y_11_1 + Y_11_2 + Y_11_3 + Y_11_4 + Y_11_5 + Y_11_6 + Y_11_7 = 1 _C693: Y_12_1 + Y_12_2 + Y_12_3 + Y_12_4 + Y_12_5 + Y_12_6 + Y_12_7 = 1 _C694: Y_13_1 + Y_13_2 + Y_13_3 + Y_13_4 + Y_13_5 + Y_13_6 + Y_13_7 = 1 _C695: Y_14_1 + Y_14_2 + Y_14_3 + Y_14_4 + Y_14_5 + Y_14_6 + Y_14_7 = 1 _C696: Y_15_1 + Y_15_2 + Y_15_3 + Y_15_4 + Y_15_5 + Y_15_6 + Y_15_7 = 1 _C697: Y_16_1 + Y_16_2 + Y_16_3 + Y_16_4 + Y_16_5 + Y_16_6 + Y_16_7 = 1 _C698: Y_17_1 + Y_17_2 + Y_17_3 + Y_17_4 + Y_17_5 + Y_17_6 + Y_17_7 = 1 _C699: Y_18_1 + Y_18_2 + Y_18_3 + Y_18_4 + Y_18_5 + Y_18_6 + Y_18_7 = 1 _C700: Y_19_1 + Y_19_2 + Y_19_3 + Y_19_4 + Y_19_5 + Y_19_6 + Y_19_7 = 1 _C701: Y_20_1 + Y_20_2 + Y_20_3 + Y_20_4 + Y_20_5 + Y_20_6 + Y_20_7 = 1 _C702: Y_21_1 + Y_21_2 + Y_21_3 + Y_21_4 + Y_21_5 + Y_21_6 + Y_21_7 = 1 _C703: Y_22_1 + Y_22_2 + Y_22_3 + Y_22_4 + Y_22_5 + Y_22_6 + Y_22_7 = 1 _C704: Y_23_1 + Y_23_2 + Y_23_3 + Y_23_4 + Y_23_5 + Y_23_6 + Y_23_7 = 1 _C705: Y_24_1 + Y_24_2 + Y_24_3 + Y_24_4 + Y_24_5 + Y_24_6 + Y_24_7 = 1 _C706: Y_25_1 + Y_25_2 + Y_25_3 + Y_25_4 + Y_25_5 + Y_25_6 + Y_25_7 = 1 _C707: Y_26_1 + Y_26_2 + Y_26_3 + Y_26_4 + Y_26_5 + Y_26_6 + Y_26_7 = 1 _C708: Y_27_1 + Y_27_2 + Y_27_3 + Y_27_4 + Y_27_5 + Y_27_6 + Y_27_7 = 1 _C709: Y_28_1 + Y_28_2 + Y_28_3 + Y_28_4 + Y_28_5 + Y_28_6 + Y_28_7 = 1 _C710: Y_29_1 + Y_29_2 + Y_29_3 + Y_29_4 + Y_29_5 + Y_29_6 + Y_29_7 = 1 _C711: Y_30_1 + Y_30_2 + Y_30_3 + Y_30_4 + Y_30_5 + Y_30_6 + Y_30_7 = 1 _C712: Y_31_1 + Y_31_2 + Y_31_3 + Y_31_4 + Y_31_5 + Y_31_6 + Y_31_7 = 1 _C713: Y_32_1 + Y_32_2 + Y_32_3 + Y_32_4 + Y_32_5 + Y_32_6 + Y_32_7 = 1 _C714: Y_33_1 + Y_33_2 + Y_33_3 + Y_33_4 + Y_33_5 + Y_33_6 + Y_33_7 = 1 _C715: Y_34_1 + Y_34_2 + Y_34_3 + Y_34_4 + Y_34_5 + Y_34_6 + Y_34_7 = 1 _C716: Y_35_1 + Y_35_2 + Y_35_3 + Y_35_4 + Y_35_5 + Y_35_6 + Y_35_7 = 1 _C717: Y_36_1 + Y_36_2 + Y_36_3 + Y_36_4 + Y_36_5 + Y_36_6 + Y_36_7 = 1 _C718: Y_37_1 + Y_37_2 + Y_37_3 + Y_37_4 + Y_37_5 + Y_37_6 + Y_37_7 = 1 _C719: Y_38_1 + Y_38_2 + Y_38_3 + Y_38_4 + Y_38_5 + Y_38_6 + Y_38_7 = 1 _C720: Y_39_1 + Y_39_2 + Y_39_3 + Y_39_4 + Y_39_5 + Y_39_6 + Y_39_7 = 1 _C721: Y_40_1 + Y_40_2 + Y_40_3 + Y_40_4 + Y_40_5 + Y_40_6 + Y_40_7 = 1 _C722: Y_41_1 + Y_41_2 + Y_41_3 + Y_41_4 + Y_41_5 + Y_41_6 + Y_41_7 = 1 _C723: Y_42_1 + Y_42_2 + Y_42_3 + Y_42_4 + Y_42_5 + Y_42_6 + Y_42_7 = 1 _C724: Y_43_1 + Y_43_2 + Y_43_3 + Y_43_4 + Y_43_5 + Y_43_6 + Y_43_7 = 1 _C725: Y_44_1 + Y_44_2 + Y_44_3 + Y_44_4 + Y_44_5 + Y_44_6 + Y_44_7 = 1 _C726: Y_45_1 + Y_45_2 + Y_45_3 + Y_45_4 + Y_45_5 + Y_45_6 + Y_45_7 = 1 _C727: Y_46_1 + Y_46_2 + Y_46_3 + Y_46_4 + Y_46_5 + Y_46_6 + Y_46_7 = 1 _C728: Y_47_1 + Y_47_2 + Y_47_3 + Y_47_4 + Y_47_5 + Y_47_6 + Y_47_7 = 1 _C729: Y_48_1 + Y_48_2 + Y_48_3 + Y_48_4 + Y_48_5 + Y_48_6 + Y_48_7 = 1 _C730: Y_49_1 + Y_49_2 + Y_49_3 + Y_49_4 + Y_49_5 + Y_49_6 + Y_49_7 = 1 _C731: Y_50_1 + Y_50_2 + Y_50_3 + Y_50_4 + Y_50_5 + Y_50_6 + Y_50_7 = 1 _C732: Y_51_1 + Y_51_2 + Y_51_3 + Y_51_4 + Y_51_5 + Y_51_6 + Y_51_7 = 1 _C733: Y_52_1 + Y_52_2 + Y_52_3 + Y_52_4 + Y_52_5 + Y_52_6 + Y_52_7 = 1 _C734: Y_53_1 + Y_53_2 + Y_53_3 + Y_53_4 + Y_53_5 + Y_53_6 + Y_53_7 = 1 _C735: Y_54_1 + Y_54_2 + Y_54_3 + Y_54_4 + Y_54_5 + Y_54_6 + Y_54_7 = 1 _C736: Y_55_1 + Y_55_2 + Y_55_3 + Y_55_4 + Y_55_5 + Y_55_6 + Y_55_7 = 1 _C737: Y_56_1 + Y_56_2 + Y_56_3 + Y_56_4 + Y_56_5 + Y_56_6 + Y_56_7 = 1 _C738: Y_57_1 + Y_57_2 + Y_57_3 + Y_57_4 + Y_57_5 + Y_57_6 + Y_57_7 = 1 _C739: Y_58_1 + Y_58_2 + Y_58_3 + Y_58_4 + Y_58_5 + Y_58_6 + Y_58_7 = 1 _C740: Y_59_1 + Y_59_2 + Y_59_3 + Y_59_4 + Y_59_5 + Y_59_6 + Y_59_7 = 1 _C741: Y_60_1 + Y_60_2 + Y_60_3 + Y_60_4 + Y_60_5 + Y_60_6 + Y_60_7 = 1 _C742: Y_61_1 + Y_61_2 + Y_61_3 + Y_61_4 + Y_61_5 + Y_61_6 + Y_61_7 = 1 _C743: Y_62_1 + Y_62_2 + Y_62_3 + Y_62_4 + Y_62_5 + Y_62_6 + Y_62_7 = 1 _C744: Y_63_1 + Y_63_2 + Y_63_3 + Y_63_4 + Y_63_5 + Y_63_6 + Y_63_7 = 1 _C745: Y_64_1 + Y_64_2 + Y_64_3 + Y_64_4 + Y_64_5 + Y_64_6 + Y_64_7 = 1 _C746: Y_65_1 + Y_65_2 + Y_65_3 + Y_65_4 + Y_65_5 + Y_65_6 + Y_65_7 = 1 _C747: Y_66_1 + Y_66_2 + Y_66_3 + Y_66_4 + Y_66_5 + Y_66_6 + Y_66_7 = 1 _C748: Y_67_1 + Y_67_2 + Y_67_3 + Y_67_4 + Y_67_5 + Y_67_6 + Y_67_7 = 1 _C749: Y_68_1 + Y_68_2 + Y_68_3 + Y_68_4 + Y_68_5 + Y_68_6 + Y_68_7 = 1 _C750: Y_69_1 + Y_69_2 + Y_69_3 + Y_69_4 + Y_69_5 + Y_69_6 + Y_69_7 = 1 _C751: Y_70_1 + Y_70_2 + Y_70_3 + Y_70_4 + Y_70_5 + Y_70_6 + Y_70_7 = 1 _C752: Y_71_1 + Y_71_2 + Y_71_3 + Y_71_4 + Y_71_5 + Y_71_6 + Y_71_7 = 1 _C753: Y_72_1 + Y_72_2 + Y_72_3 + Y_72_4 + Y_72_5 + Y_72_6 + Y_72_7 = 1 _C754: Y_73_1 + Y_73_2 + Y_73_3 + Y_73_4 + Y_73_5 + Y_73_6 + Y_73_7 = 1 _C755: Y_74_1 + Y_74_2 + Y_74_3 + Y_74_4 + Y_74_5 + Y_74_6 + Y_74_7 = 1 _C756: Y_75_1 + Y_75_2 + Y_75_3 + Y_75_4 + Y_75_5 + Y_75_6 + Y_75_7 = 1 _C757: Y_76_1 + Y_76_2 + Y_76_3 + Y_76_4 + Y_76_5 + Y_76_6 + Y_76_7 = 1 _C758: Y_77_1 + Y_77_2 + Y_77_3 + Y_77_4 + Y_77_5 + Y_77_6 + Y_77_7 = 1 _C759: Y_78_1 + Y_78_2 + Y_78_3 + Y_78_4 + Y_78_5 + Y_78_6 + Y_78_7 = 1 _C760: Y_79_1 + Y_79_2 + Y_79_3 + Y_79_4 + Y_79_5 + Y_79_6 + Y_79_7 = 1 _C761: Y_80_1 + Y_80_2 + Y_80_3 + Y_80_4 + Y_80_5 + Y_80_6 + Y_80_7 = 1 _C762: Y_81_1 + Y_81_2 + Y_81_3 + Y_81_4 + Y_81_5 + Y_81_6 + Y_81_7 = 1 _C763: Y_82_1 + Y_82_2 + Y_82_3 + Y_82_4 + Y_82_5 + Y_82_6 + Y_82_7 = 1 _C764: Y_83_1 + Y_83_2 + Y_83_3 + Y_83_4 + Y_83_5 + Y_83_6 + Y_83_7 = 1 _C765: Y_84_1 + Y_84_2 + Y_84_3 + Y_84_4 + Y_84_5 + Y_84_6 + Y_84_7 = 1 _C766: Y_85_1 + Y_85_2 + Y_85_3 + Y_85_4 + Y_85_5 + Y_85_6 + Y_85_7 = 1 _C767: Y_86_1 + Y_86_2 + Y_86_3 + Y_86_4 + Y_86_5 + Y_86_6 + Y_86_7 = 1 _C768: Y_87_1 + Y_87_2 + Y_87_3 + Y_87_4 + Y_87_5 + Y_87_6 + Y_87_7 = 1 _C769: Y_88_1 + Y_88_2 + Y_88_3 + Y_88_4 + Y_88_5 + Y_88_6 + Y_88_7 = 1 _C770: Y_89_1 + Y_89_2 + Y_89_3 + Y_89_4 + Y_89_5 + Y_89_6 + Y_89_7 = 1 _C771: Y_90_1 + Y_90_2 + Y_90_3 + Y_90_4 + Y_90_5 + Y_90_6 + Y_90_7 = 1 _C772: Y_91_1 + Y_91_2 + Y_91_3 + Y_91_4 + Y_91_5 + Y_91_6 + Y_91_7 = 1 _C773: Y_92_1 + Y_92_2 + Y_92_3 + Y_92_4 + Y_92_5 + Y_92_6 + Y_92_7 = 1 _C774: Y_93_1 + Y_93_2 + Y_93_3 + Y_93_4 + Y_93_5 + Y_93_6 + Y_93_7 = 1 _C775: Y_94_1 + Y_94_2 + Y_94_3 + Y_94_4 + Y_94_5 + Y_94_6 + Y_94_7 = 1 _C776: Y_95_1 + Y_95_2 + Y_95_3 + Y_95_4 + Y_95_5 + Y_95_6 + Y_95_7 = 1 _C777: - 11829.8412384 Y_10_1 - 7176.21554659 Y_11_1 - 2175.07564261 Y_12_1 - 7245.37811062 Y_13_1 - 1826.56591008 Y_14_1 - 7207.3105391 Y_15_1 - 7935.8421011 Y_16_1 - 192.174168987 Y_17_1 - 12957.1211676 Y_18_1 + 120774.452319 Y_19_1 - 11358.6546211 Y_1_1 - 3287.94215464 Y_20_1 - 2353.82313438 Y_21_1 - 8481.04622159 Y_22_1 - 2177.63910523 Y_23_1 + 2215.70761586 Y_24_1 - 4431.06715624 Y_25_1 - 6534.38414954 Y_26_1 - 2172.47912931 Y_27_1 - 3402.66417454 Y_28_1 - 5065.78949563 Y_29_1 - 877.619921457 Y_2_1 - 13400.5580694 Y_30_1 - 3027.03762003 Y_31_1 - 3462.9117048 Y_32_1 + 9726.16182143 Y_33_1 - 1667.19813916 Y_34_1 + 4084.25442522 Y_35_1 - 5247.03336411 Y_36_1 - 12605.03192 Y_37_1 + 5112.76620266 Y_38_1 - 4148.16700546 Y_39_1 - 3129.36704887 Y_3_1 - 4418.763717 Y_40_1 - 4412.51435281 Y_41_1 - 1617.80113879 Y_42_1 - 3636.82477673 Y_43_1 - 2540.77300849 Y_44_1 - 10201.1097033 Y_45_1 - 3399.67220077 Y_46_1 - 34167.6491908 Y_47_1 + 212.011713482 Y_48_1 + 2812.0621716 Y_49_1 - 2554.68940997 Y_4_1 - 9056.32687285 Y_50_1 - 2588.52371463 Y_51_1 - 4759.47584462 Y_52_1 - 7501.16917828 Y_53_1 - 4559.17596472 Y_54_1 + 16808.0911579 Y_55_1 - 5241.64571282 Y_56_1 - 3921.25153701 Y_57_1 - 4584.70653003 Y_58_1 - 8216.76644576 Y_59_1 - 22029.4668665 Y_5_1 - 4506.28265797 Y_60_1 - 2776.72798849 Y_61_1 - 8390.66855838 Y_62_1 + 24749.5832654 Y_63_1 - 1417.72053093 Y_64_1 - 4113.78352704 Y_65_1 - 2905.96579258 Y_66_1 - 5261.20118741 Y_67_1 - 1767.94860885 Y_68_1 - 1264.95780455 Y_69_1 - 10811.1831094 Y_6_1 - 3873.13511758 Y_70_1 - 10160.1936662 Y_71_1 - 5333.98001111 Y_72_1 - 10227.0059177 Y_73_1 - 5426.82244445 Y_74_1 + 22942.3257659 Y_75_1 - 5463.89422704 Y_76_1 - 3187.31158065 Y_77_1 - 14043.0253573 Y_78_1 + 342510.440905 Y_79_1 - 9254.53547297 Y_7_1 - 3940.73788078 Y_80_1 - 2637.27709193 Y_81_1 - 31205.8952692 Y_82_1 - 15992.6936283 Y_83_1 - 1693.20782712 Y_84_1 - 550.191141743 Y_85_1 - 3462.85353329 Y_86_1 - 4601.06267661 Y_87_1 - 1492.47705228 Y_88_1 - 4941.59447506 Y_89_1 - 2778.27952666 Y_8_1 - 18299.4297067 Y_90_1 - 2993.43053059 Y_91_1 - 4483.28987909 Y_92_1 - 5439.31871871 Y_93_1 - 24753.7610658 Y_94_1 - 14133.6239094 Y_95_1 - 3578.14516325 Y_9_1 + abs_pop_diff_0 >= 0 _C778: 11829.8412384 Y_10_1 + 7176.21554659 Y_11_1 + 2175.07564261 Y_12_1 + 7245.37811062 Y_13_1 + 1826.56591008 Y_14_1 + 7207.3105391 Y_15_1 + 7935.8421011 Y_16_1 + 192.174168987 Y_17_1 + 12957.1211676 Y_18_1 - 120774.452319 Y_19_1 + 11358.6546211 Y_1_1 + 3287.94215464 Y_20_1 + 2353.82313438 Y_21_1 + 8481.04622159 Y_22_1 + 2177.63910523 Y_23_1 - 2215.70761586 Y_24_1 + 4431.06715624 Y_25_1 + 6534.38414954 Y_26_1 + 2172.47912931 Y_27_1 + 3402.66417454 Y_28_1 + 5065.78949563 Y_29_1 + 877.619921457 Y_2_1 + 13400.5580694 Y_30_1 + 3027.03762003 Y_31_1 + 3462.9117048 Y_32_1 - 9726.16182143 Y_33_1 + 1667.19813916 Y_34_1 - 4084.25442522 Y_35_1 + 5247.03336411 Y_36_1 + 12605.03192 Y_37_1 - 5112.76620266 Y_38_1 + 4148.16700546 Y_39_1 + 3129.36704887 Y_3_1 + 4418.763717 Y_40_1 + 4412.51435281 Y_41_1 + 1617.80113879 Y_42_1 + 3636.82477673 Y_43_1 + 2540.77300849 Y_44_1 + 10201.1097033 Y_45_1 + 3399.67220077 Y_46_1 + 34167.6491908 Y_47_1 - 212.011713482 Y_48_1 - 2812.0621716 Y_49_1 + 2554.68940997 Y_4_1 + 9056.32687285 Y_50_1 + 2588.52371463 Y_51_1 + 4759.47584462 Y_52_1 + 7501.16917828 Y_53_1 + 4559.17596472 Y_54_1 - 16808.0911579 Y_55_1 + 5241.64571282 Y_56_1 + 3921.25153701 Y_57_1 + 4584.70653003 Y_58_1 + 8216.76644576 Y_59_1 + 22029.4668665 Y_5_1 + 4506.28265797 Y_60_1 + 2776.72798849 Y_61_1 + 8390.66855838 Y_62_1 - 24749.5832654 Y_63_1 + 1417.72053093 Y_64_1 + 4113.78352704 Y_65_1 + 2905.96579258 Y_66_1 + 5261.20118741 Y_67_1 + 1767.94860885 Y_68_1 + 1264.95780455 Y_69_1 + 10811.1831094 Y_6_1 + 3873.13511758 Y_70_1 + 10160.1936662 Y_71_1 + 5333.98001111 Y_72_1 + 10227.0059177 Y_73_1 + 5426.82244445 Y_74_1 - 22942.3257659 Y_75_1 + 5463.89422704 Y_76_1 + 3187.31158065 Y_77_1 + 14043.0253573 Y_78_1 - 342510.440905 Y_79_1 + 9254.53547297 Y_7_1 + 3940.73788078 Y_80_1 + 2637.27709193 Y_81_1 + 31205.8952692 Y_82_1 + 15992.6936283 Y_83_1 + 1693.20782712 Y_84_1 + 550.191141743 Y_85_1 + 3462.85353329 Y_86_1 + 4601.06267661 Y_87_1 + 1492.47705228 Y_88_1 + 4941.59447506 Y_89_1 + 2778.27952666 Y_8_1 + 18299.4297067 Y_90_1 + 2993.43053059 Y_91_1 + 4483.28987909 Y_92_1 + 5439.31871871 Y_93_1 + 24753.7610658 Y_94_1 + 14133.6239094 Y_95_1 + 3578.14516325 Y_9_1 + abs_pop_diff_0 >= 0 _C779: - 11829.8412384 Y_10_2 - 7176.21554659 Y_11_2 - 2175.07564261 Y_12_2 - 7245.37811062 Y_13_2 - 1826.56591008 Y_14_2 - 7207.3105391 Y_15_2 - 7935.8421011 Y_16_2 - 192.174168987 Y_17_2 - 12957.1211676 Y_18_2 + 120774.452319 Y_19_2 - 11358.6546211 Y_1_2 - 3287.94215464 Y_20_2 - 2353.82313438 Y_21_2 - 8481.04622159 Y_22_2 - 2177.63910523 Y_23_2 + 2215.70761586 Y_24_2 - 4431.06715624 Y_25_2 - 6534.38414954 Y_26_2 - 2172.47912931 Y_27_2 - 3402.66417454 Y_28_2 - 5065.78949563 Y_29_2 - 877.619921457 Y_2_2 - 13400.5580694 Y_30_2 - 3027.03762003 Y_31_2 - 3462.9117048 Y_32_2 + 9726.16182143 Y_33_2 - 1667.19813916 Y_34_2 + 4084.25442522 Y_35_2 - 5247.03336411 Y_36_2 - 12605.03192 Y_37_2 + 5112.76620266 Y_38_2 - 4148.16700546 Y_39_2 - 3129.36704887 Y_3_2 - 4418.763717 Y_40_2 - 4412.51435281 Y_41_2 - 1617.80113879 Y_42_2 - 3636.82477673 Y_43_2 - 2540.77300849 Y_44_2 - 10201.1097033 Y_45_2 - 3399.67220077 Y_46_2 - 34167.6491908 Y_47_2 + 212.011713482 Y_48_2 + 2812.0621716 Y_49_2 - 2554.68940997 Y_4_2 - 9056.32687285 Y_50_2 - 2588.52371463 Y_51_2 - 4759.47584462 Y_52_2 - 7501.16917828 Y_53_2 - 4559.17596472 Y_54_2 + 16808.0911579 Y_55_2 - 5241.64571282 Y_56_2 - 3921.25153701 Y_57_2 - 4584.70653003 Y_58_2 - 8216.76644576 Y_59_2 - 22029.4668665 Y_5_2 - 4506.28265797 Y_60_2 - 2776.72798849 Y_61_2 - 8390.66855838 Y_62_2 + 24749.5832654 Y_63_2 - 1417.72053093 Y_64_2 - 4113.78352704 Y_65_2 - 2905.96579258 Y_66_2 - 5261.20118741 Y_67_2 - 1767.94860885 Y_68_2 - 1264.95780455 Y_69_2 - 10811.1831094 Y_6_2 - 3873.13511758 Y_70_2 - 10160.1936662 Y_71_2 - 5333.98001111 Y_72_2 - 10227.0059177 Y_73_2 - 5426.82244445 Y_74_2 + 22942.3257659 Y_75_2 - 5463.89422704 Y_76_2 - 3187.31158065 Y_77_2 - 14043.0253573 Y_78_2 + 342510.440905 Y_79_2 - 9254.53547297 Y_7_2 - 3940.73788078 Y_80_2 - 2637.27709193 Y_81_2 - 31205.8952692 Y_82_2 - 15992.6936283 Y_83_2 - 1693.20782712 Y_84_2 - 550.191141743 Y_85_2 - 3462.85353329 Y_86_2 - 4601.06267661 Y_87_2 - 1492.47705228 Y_88_2 - 4941.59447506 Y_89_2 - 2778.27952666 Y_8_2 - 18299.4297067 Y_90_2 - 2993.43053059 Y_91_2 - 4483.28987909 Y_92_2 - 5439.31871871 Y_93_2 - 24753.7610658 Y_94_2 - 14133.6239094 Y_95_2 - 3578.14516325 Y_9_2 + abs_pop_diff_1 >= 0 _C780: 11829.8412384 Y_10_2 + 7176.21554659 Y_11_2 + 2175.07564261 Y_12_2 + 7245.37811062 Y_13_2 + 1826.56591008 Y_14_2 + 7207.3105391 Y_15_2 + 7935.8421011 Y_16_2 + 192.174168987 Y_17_2 + 12957.1211676 Y_18_2 - 120774.452319 Y_19_2 + 11358.6546211 Y_1_2 + 3287.94215464 Y_20_2 + 2353.82313438 Y_21_2 + 8481.04622159 Y_22_2 + 2177.63910523 Y_23_2 - 2215.70761586 Y_24_2 + 4431.06715624 Y_25_2 + 6534.38414954 Y_26_2 + 2172.47912931 Y_27_2 + 3402.66417454 Y_28_2 + 5065.78949563 Y_29_2 + 877.619921457 Y_2_2 + 13400.5580694 Y_30_2 + 3027.03762003 Y_31_2 + 3462.9117048 Y_32_2 - 9726.16182143 Y_33_2 + 1667.19813916 Y_34_2 - 4084.25442522 Y_35_2 + 5247.03336411 Y_36_2 + 12605.03192 Y_37_2 - 5112.76620266 Y_38_2 + 4148.16700546 Y_39_2 + 3129.36704887 Y_3_2 + 4418.763717 Y_40_2 + 4412.51435281 Y_41_2 + 1617.80113879 Y_42_2 + 3636.82477673 Y_43_2 + 2540.77300849 Y_44_2 + 10201.1097033 Y_45_2 + 3399.67220077 Y_46_2 + 34167.6491908 Y_47_2 - 212.011713482 Y_48_2 - 2812.0621716 Y_49_2 + 2554.68940997 Y_4_2 + 9056.32687285 Y_50_2 + 2588.52371463 Y_51_2 + 4759.47584462 Y_52_2 + 7501.16917828 Y_53_2 + 4559.17596472 Y_54_2 - 16808.0911579 Y_55_2 + 5241.64571282 Y_56_2 + 3921.25153701 Y_57_2 + 4584.70653003 Y_58_2 + 8216.76644576 Y_59_2 + 22029.4668665 Y_5_2 + 4506.28265797 Y_60_2 + 2776.72798849 Y_61_2 + 8390.66855838 Y_62_2 - 24749.5832654 Y_63_2 + 1417.72053093 Y_64_2 + 4113.78352704 Y_65_2 + 2905.96579258 Y_66_2 + 5261.20118741 Y_67_2 + 1767.94860885 Y_68_2 + 1264.95780455 Y_69_2 + 10811.1831094 Y_6_2 + 3873.13511758 Y_70_2 + 10160.1936662 Y_71_2 + 5333.98001111 Y_72_2 + 10227.0059177 Y_73_2 + 5426.82244445 Y_74_2 - 22942.3257659 Y_75_2 + 5463.89422704 Y_76_2 + 3187.31158065 Y_77_2 + 14043.0253573 Y_78_2 - 342510.440905 Y_79_2 + 9254.53547297 Y_7_2 + 3940.73788078 Y_80_2 + 2637.27709193 Y_81_2 + 31205.8952692 Y_82_2 + 15992.6936283 Y_83_2 + 1693.20782712 Y_84_2 + 550.191141743 Y_85_2 + 3462.85353329 Y_86_2 + 4601.06267661 Y_87_2 + 1492.47705228 Y_88_2 + 4941.59447506 Y_89_2 + 2778.27952666 Y_8_2 + 18299.4297067 Y_90_2 + 2993.43053059 Y_91_2 + 4483.28987909 Y_92_2 + 5439.31871871 Y_93_2 + 24753.7610658 Y_94_2 + 14133.6239094 Y_95_2 + 3578.14516325 Y_9_2 + abs_pop_diff_1 >= 0 _C781: - 11829.8412384 Y_10_3 - 7176.21554659 Y_11_3 - 2175.07564261 Y_12_3 - 7245.37811062 Y_13_3 - 1826.56591008 Y_14_3 - 7207.3105391 Y_15_3 - 7935.8421011 Y_16_3 - 192.174168987 Y_17_3 - 12957.1211676 Y_18_3 + 120774.452319 Y_19_3 - 11358.6546211 Y_1_3 - 3287.94215464 Y_20_3 - 2353.82313438 Y_21_3 - 8481.04622159 Y_22_3 - 2177.63910523 Y_23_3 + 2215.70761586 Y_24_3 - 4431.06715624 Y_25_3 - 6534.38414954 Y_26_3 - 2172.47912931 Y_27_3 - 3402.66417454 Y_28_3 - 5065.78949563 Y_29_3 - 877.619921457 Y_2_3 - 13400.5580694 Y_30_3 - 3027.03762003 Y_31_3 - 3462.9117048 Y_32_3 + 9726.16182143 Y_33_3 - 1667.19813916 Y_34_3 + 4084.25442522 Y_35_3 - 5247.03336411 Y_36_3 - 12605.03192 Y_37_3 + 5112.76620266 Y_38_3 - 4148.16700546 Y_39_3 - 3129.36704887 Y_3_3 - 4418.763717 Y_40_3 - 4412.51435281 Y_41_3 - 1617.80113879 Y_42_3 - 3636.82477673 Y_43_3 - 2540.77300849 Y_44_3 - 10201.1097033 Y_45_3 - 3399.67220077 Y_46_3 - 34167.6491908 Y_47_3 + 212.011713482 Y_48_3 + 2812.0621716 Y_49_3 - 2554.68940997 Y_4_3 - 9056.32687285 Y_50_3 - 2588.52371463 Y_51_3 - 4759.47584462 Y_52_3 - 7501.16917828 Y_53_3 - 4559.17596472 Y_54_3 + 16808.0911579 Y_55_3 - 5241.64571282 Y_56_3 - 3921.25153701 Y_57_3 - 4584.70653003 Y_58_3 - 8216.76644576 Y_59_3 - 22029.4668665 Y_5_3 - 4506.28265797 Y_60_3 - 2776.72798849 Y_61_3 - 8390.66855838 Y_62_3 + 24749.5832654 Y_63_3 - 1417.72053093 Y_64_3 - 4113.78352704 Y_65_3 - 2905.96579258 Y_66_3 - 5261.20118741 Y_67_3 - 1767.94860885 Y_68_3 - 1264.95780455 Y_69_3 - 10811.1831094 Y_6_3 - 3873.13511758 Y_70_3 - 10160.1936662 Y_71_3 - 5333.98001111 Y_72_3 - 10227.0059177 Y_73_3 - 5426.82244445 Y_74_3 + 22942.3257659 Y_75_3 - 5463.89422704 Y_76_3 - 3187.31158065 Y_77_3 - 14043.0253573 Y_78_3 + 342510.440905 Y_79_3 - 9254.53547297 Y_7_3 - 3940.73788078 Y_80_3 - 2637.27709193 Y_81_3 - 31205.8952692 Y_82_3 - 15992.6936283 Y_83_3 - 1693.20782712 Y_84_3 - 550.191141743 Y_85_3 - 3462.85353329 Y_86_3 - 4601.06267661 Y_87_3 - 1492.47705228 Y_88_3 - 4941.59447506 Y_89_3 - 2778.27952666 Y_8_3 - 18299.4297067 Y_90_3 - 2993.43053059 Y_91_3 - 4483.28987909 Y_92_3 - 5439.31871871 Y_93_3 - 24753.7610658 Y_94_3 - 14133.6239094 Y_95_3 - 3578.14516325 Y_9_3 + abs_pop_diff_2 >= 0 _C782: 11829.8412384 Y_10_3 + 7176.21554659 Y_11_3 + 2175.07564261 Y_12_3 + 7245.37811062 Y_13_3 + 1826.56591008 Y_14_3 + 7207.3105391 Y_15_3 + 7935.8421011 Y_16_3 + 192.174168987 Y_17_3 + 12957.1211676 Y_18_3 - 120774.452319 Y_19_3 + 11358.6546211 Y_1_3 + 3287.94215464 Y_20_3 + 2353.82313438 Y_21_3 + 8481.04622159 Y_22_3 + 2177.63910523 Y_23_3 - 2215.70761586 Y_24_3 + 4431.06715624 Y_25_3 + 6534.38414954 Y_26_3 + 2172.47912931 Y_27_3 + 3402.66417454 Y_28_3 + 5065.78949563 Y_29_3 + 877.619921457 Y_2_3 + 13400.5580694 Y_30_3 + 3027.03762003 Y_31_3 + 3462.9117048 Y_32_3 - 9726.16182143 Y_33_3 + 1667.19813916 Y_34_3 - 4084.25442522 Y_35_3 + 5247.03336411 Y_36_3 + 12605.03192 Y_37_3 - 5112.76620266 Y_38_3 + 4148.16700546 Y_39_3 + 3129.36704887 Y_3_3 + 4418.763717 Y_40_3 + 4412.51435281 Y_41_3 + 1617.80113879 Y_42_3 + 3636.82477673 Y_43_3 + 2540.77300849 Y_44_3 + 10201.1097033 Y_45_3 + 3399.67220077 Y_46_3 + 34167.6491908 Y_47_3 - 212.011713482 Y_48_3 - 2812.0621716 Y_49_3 + 2554.68940997 Y_4_3 + 9056.32687285 Y_50_3 + 2588.52371463 Y_51_3 + 4759.47584462 Y_52_3 + 7501.16917828 Y_53_3 + 4559.17596472 Y_54_3 - 16808.0911579 Y_55_3 + 5241.64571282 Y_56_3 + 3921.25153701 Y_57_3 + 4584.70653003 Y_58_3 + 8216.76644576 Y_59_3 + 22029.4668665 Y_5_3 + 4506.28265797 Y_60_3 + 2776.72798849 Y_61_3 + 8390.66855838 Y_62_3 - 24749.5832654 Y_63_3 + 1417.72053093 Y_64_3 + 4113.78352704 Y_65_3 + 2905.96579258 Y_66_3 + 5261.20118741 Y_67_3 + 1767.94860885 Y_68_3 + 1264.95780455 Y_69_3 + 10811.1831094 Y_6_3 + 3873.13511758 Y_70_3 + 10160.1936662 Y_71_3 + 5333.98001111 Y_72_3 + 10227.0059177 Y_73_3 + 5426.82244445 Y_74_3 - 22942.3257659 Y_75_3 + 5463.89422704 Y_76_3 + 3187.31158065 Y_77_3 + 14043.0253573 Y_78_3 - 342510.440905 Y_79_3 + 9254.53547297 Y_7_3 + 3940.73788078 Y_80_3 + 2637.27709193 Y_81_3 + 31205.8952692 Y_82_3 + 15992.6936283 Y_83_3 + 1693.20782712 Y_84_3 + 550.191141743 Y_85_3 + 3462.85353329 Y_86_3 + 4601.06267661 Y_87_3 + 1492.47705228 Y_88_3 + 4941.59447506 Y_89_3 + 2778.27952666 Y_8_3 + 18299.4297067 Y_90_3 + 2993.43053059 Y_91_3 + 4483.28987909 Y_92_3 + 5439.31871871 Y_93_3 + 24753.7610658 Y_94_3 + 14133.6239094 Y_95_3 + 3578.14516325 Y_9_3 + abs_pop_diff_2 >= 0 _C783: - 11829.8412384 Y_10_4 - 7176.21554659 Y_11_4 - 2175.07564261 Y_12_4 - 7245.37811062 Y_13_4 - 1826.56591008 Y_14_4 - 7207.3105391 Y_15_4 - 7935.8421011 Y_16_4 - 192.174168987 Y_17_4 - 12957.1211676 Y_18_4 + 120774.452319 Y_19_4 - 11358.6546211 Y_1_4 - 3287.94215464 Y_20_4 - 2353.82313438 Y_21_4 - 8481.04622159 Y_22_4 - 2177.63910523 Y_23_4 + 2215.70761586 Y_24_4 - 4431.06715624 Y_25_4 - 6534.38414954 Y_26_4 - 2172.47912931 Y_27_4 - 3402.66417454 Y_28_4 - 5065.78949563 Y_29_4 - 877.619921457 Y_2_4 - 13400.5580694 Y_30_4 - 3027.03762003 Y_31_4 - 3462.9117048 Y_32_4 + 9726.16182143 Y_33_4 - 1667.19813916 Y_34_4 + 4084.25442522 Y_35_4 - 5247.03336411 Y_36_4 - 12605.03192 Y_37_4 + 5112.76620266 Y_38_4 - 4148.16700546 Y_39_4 - 3129.36704887 Y_3_4 - 4418.763717 Y_40_4 - 4412.51435281 Y_41_4 - 1617.80113879 Y_42_4 - 3636.82477673 Y_43_4 - 2540.77300849 Y_44_4 - 10201.1097033 Y_45_4 - 3399.67220077 Y_46_4 - 34167.6491908 Y_47_4 + 212.011713482 Y_48_4 + 2812.0621716 Y_49_4 - 2554.68940997 Y_4_4 - 9056.32687285 Y_50_4 - 2588.52371463 Y_51_4 - 4759.47584462 Y_52_4 - 7501.16917828 Y_53_4 - 4559.17596472 Y_54_4 + 16808.0911579 Y_55_4 - 5241.64571282 Y_56_4 - 3921.25153701 Y_57_4 - 4584.70653003 Y_58_4 - 8216.76644576 Y_59_4 - 22029.4668665 Y_5_4 - 4506.28265797 Y_60_4 - 2776.72798849 Y_61_4 - 8390.66855838 Y_62_4 + 24749.5832654 Y_63_4 - 1417.72053093 Y_64_4 - 4113.78352704 Y_65_4 - 2905.96579258 Y_66_4 - 5261.20118741 Y_67_4 - 1767.94860885 Y_68_4 - 1264.95780455 Y_69_4 - 10811.1831094 Y_6_4 - 3873.13511758 Y_70_4 - 10160.1936662 Y_71_4 - 5333.98001111 Y_72_4 - 10227.0059177 Y_73_4 - 5426.82244445 Y_74_4 + 22942.3257659 Y_75_4 - 5463.89422704 Y_76_4 - 3187.31158065 Y_77_4 - 14043.0253573 Y_78_4 + 342510.440905 Y_79_4 - 9254.53547297 Y_7_4 - 3940.73788078 Y_80_4 - 2637.27709193 Y_81_4 - 31205.8952692 Y_82_4 - 15992.6936283 Y_83_4 - 1693.20782712 Y_84_4 - 550.191141743 Y_85_4 - 3462.85353329 Y_86_4 - 4601.06267661 Y_87_4 - 1492.47705228 Y_88_4 - 4941.59447506 Y_89_4 - 2778.27952666 Y_8_4 - 18299.4297067 Y_90_4 - 2993.43053059 Y_91_4 - 4483.28987909 Y_92_4 - 5439.31871871 Y_93_4 - 24753.7610658 Y_94_4 - 14133.6239094 Y_95_4 - 3578.14516325 Y_9_4 + abs_pop_diff_3 >= 0 _C784: 11829.8412384 Y_10_4 + 7176.21554659 Y_11_4 + 2175.07564261 Y_12_4 + 7245.37811062 Y_13_4 + 1826.56591008 Y_14_4 + 7207.3105391 Y_15_4 + 7935.8421011 Y_16_4 + 192.174168987 Y_17_4 + 12957.1211676 Y_18_4 - 120774.452319 Y_19_4 + 11358.6546211 Y_1_4 + 3287.94215464 Y_20_4 + 2353.82313438 Y_21_4 + 8481.04622159 Y_22_4 + 2177.63910523 Y_23_4 - 2215.70761586 Y_24_4 + 4431.06715624 Y_25_4 + 6534.38414954 Y_26_4 + 2172.47912931 Y_27_4 + 3402.66417454 Y_28_4 + 5065.78949563 Y_29_4 + 877.619921457 Y_2_4 + 13400.5580694 Y_30_4 + 3027.03762003 Y_31_4 + 3462.9117048 Y_32_4 - 9726.16182143 Y_33_4 + 1667.19813916 Y_34_4 - 4084.25442522 Y_35_4 + 5247.03336411 Y_36_4 + 12605.03192 Y_37_4 - 5112.76620266 Y_38_4 + 4148.16700546 Y_39_4 + 3129.36704887 Y_3_4 + 4418.763717 Y_40_4 + 4412.51435281 Y_41_4 + 1617.80113879 Y_42_4 + 3636.82477673 Y_43_4 + 2540.77300849 Y_44_4 + 10201.1097033 Y_45_4 + 3399.67220077 Y_46_4 + 34167.6491908 Y_47_4 - 212.011713482 Y_48_4 - 2812.0621716 Y_49_4 + 2554.68940997 Y_4_4 + 9056.32687285 Y_50_4 + 2588.52371463 Y_51_4 + 4759.47584462 Y_52_4 + 7501.16917828 Y_53_4 + 4559.17596472 Y_54_4 - 16808.0911579 Y_55_4 + 5241.64571282 Y_56_4 + 3921.25153701 Y_57_4 + 4584.70653003 Y_58_4 + 8216.76644576 Y_59_4 + 22029.4668665 Y_5_4 + 4506.28265797 Y_60_4 + 2776.72798849 Y_61_4 + 8390.66855838 Y_62_4 - 24749.5832654 Y_63_4 + 1417.72053093 Y_64_4 + 4113.78352704 Y_65_4 + 2905.96579258 Y_66_4 + 5261.20118741 Y_67_4 + 1767.94860885 Y_68_4 + 1264.95780455 Y_69_4 + 10811.1831094 Y_6_4 + 3873.13511758 Y_70_4 + 10160.1936662 Y_71_4 + 5333.98001111 Y_72_4 + 10227.0059177 Y_73_4 + 5426.82244445 Y_74_4 - 22942.3257659 Y_75_4 + 5463.89422704 Y_76_4 + 3187.31158065 Y_77_4 + 14043.0253573 Y_78_4 - 342510.440905 Y_79_4 + 9254.53547297 Y_7_4 + 3940.73788078 Y_80_4 + 2637.27709193 Y_81_4 + 31205.8952692 Y_82_4 + 15992.6936283 Y_83_4 + 1693.20782712 Y_84_4 + 550.191141743 Y_85_4 + 3462.85353329 Y_86_4 + 4601.06267661 Y_87_4 + 1492.47705228 Y_88_4 + 4941.59447506 Y_89_4 + 2778.27952666 Y_8_4 + 18299.4297067 Y_90_4 + 2993.43053059 Y_91_4 + 4483.28987909 Y_92_4 + 5439.31871871 Y_93_4 + 24753.7610658 Y_94_4 + 14133.6239094 Y_95_4 + 3578.14516325 Y_9_4 + abs_pop_diff_3 >= 0 _C785: - 11829.8412384 Y_10_5 - 7176.21554659 Y_11_5 - 2175.07564261 Y_12_5 - 7245.37811062 Y_13_5 - 1826.56591008 Y_14_5 - 7207.3105391 Y_15_5 - 7935.8421011 Y_16_5 - 192.174168987 Y_17_5 - 12957.1211676 Y_18_5 + 120774.452319 Y_19_5 - 11358.6546211 Y_1_5 - 3287.94215464 Y_20_5 - 2353.82313438 Y_21_5 - 8481.04622159 Y_22_5 - 2177.63910523 Y_23_5 + 2215.70761586 Y_24_5 - 4431.06715624 Y_25_5 - 6534.38414954 Y_26_5 - 2172.47912931 Y_27_5 - 3402.66417454 Y_28_5 - 5065.78949563 Y_29_5 - 877.619921457 Y_2_5 - 13400.5580694 Y_30_5 - 3027.03762003 Y_31_5 - 3462.9117048 Y_32_5 + 9726.16182143 Y_33_5 - 1667.19813916 Y_34_5 + 4084.25442522 Y_35_5 - 5247.03336411 Y_36_5 - 12605.03192 Y_37_5 + 5112.76620266 Y_38_5 - 4148.16700546 Y_39_5 - 3129.36704887 Y_3_5 - 4418.763717 Y_40_5 - 4412.51435281 Y_41_5 - 1617.80113879 Y_42_5 - 3636.82477673 Y_43_5 - 2540.77300849 Y_44_5 - 10201.1097033 Y_45_5 - 3399.67220077 Y_46_5 - 34167.6491908 Y_47_5 + 212.011713482 Y_48_5 + 2812.0621716 Y_49_5 - 2554.68940997 Y_4_5 - 9056.32687285 Y_50_5 - 2588.52371463 Y_51_5 - 4759.47584462 Y_52_5 - 7501.16917828 Y_53_5 - 4559.17596472 Y_54_5 + 16808.0911579 Y_55_5 - 5241.64571282 Y_56_5 - 3921.25153701 Y_57_5 - 4584.70653003 Y_58_5 - 8216.76644576 Y_59_5 - 22029.4668665 Y_5_5 - 4506.28265797 Y_60_5 - 2776.72798849 Y_61_5 - 8390.66855838 Y_62_5 + 24749.5832654 Y_63_5 - 1417.72053093 Y_64_5 - 4113.78352704 Y_65_5 - 2905.96579258 Y_66_5 - 5261.20118741 Y_67_5 - 1767.94860885 Y_68_5 - 1264.95780455 Y_69_5 - 10811.1831094 Y_6_5 - 3873.13511758 Y_70_5 - 10160.1936662 Y_71_5 - 5333.98001111 Y_72_5 - 10227.0059177 Y_73_5 - 5426.82244445 Y_74_5 + 22942.3257659 Y_75_5 - 5463.89422704 Y_76_5 - 3187.31158065 Y_77_5 - 14043.0253573 Y_78_5 + 342510.440905 Y_79_5 - 9254.53547297 Y_7_5 - 3940.73788078 Y_80_5 - 2637.27709193 Y_81_5 - 31205.8952692 Y_82_5 - 15992.6936283 Y_83_5 - 1693.20782712 Y_84_5 - 550.191141743 Y_85_5 - 3462.85353329 Y_86_5 - 4601.06267661 Y_87_5 - 1492.47705228 Y_88_5 - 4941.59447506 Y_89_5 - 2778.27952666 Y_8_5 - 18299.4297067 Y_90_5 - 2993.43053059 Y_91_5 - 4483.28987909 Y_92_5 - 5439.31871871 Y_93_5 - 24753.7610658 Y_94_5 - 14133.6239094 Y_95_5 - 3578.14516325 Y_9_5 + abs_pop_diff_4 >= 0 _C786: 11829.8412384 Y_10_5 + 7176.21554659 Y_11_5 + 2175.07564261 Y_12_5 + 7245.37811062 Y_13_5 + 1826.56591008 Y_14_5 + 7207.3105391 Y_15_5 + 7935.8421011 Y_16_5 + 192.174168987 Y_17_5 + 12957.1211676 Y_18_5 - 120774.452319 Y_19_5 + 11358.6546211 Y_1_5 + 3287.94215464 Y_20_5 + 2353.82313438 Y_21_5 + 8481.04622159 Y_22_5 + 2177.63910523 Y_23_5 - 2215.70761586 Y_24_5 + 4431.06715624 Y_25_5 + 6534.38414954 Y_26_5 + 2172.47912931 Y_27_5 + 3402.66417454 Y_28_5 + 5065.78949563 Y_29_5 + 877.619921457 Y_2_5 + 13400.5580694 Y_30_5 + 3027.03762003 Y_31_5 + 3462.9117048 Y_32_5 - 9726.16182143 Y_33_5 + 1667.19813916 Y_34_5 - 4084.25442522 Y_35_5 + 5247.03336411 Y_36_5 + 12605.03192 Y_37_5 - 5112.76620266 Y_38_5 + 4148.16700546 Y_39_5 + 3129.36704887 Y_3_5 + 4418.763717 Y_40_5 + 4412.51435281 Y_41_5 + 1617.80113879 Y_42_5 + 3636.82477673 Y_43_5 + 2540.77300849 Y_44_5 + 10201.1097033 Y_45_5 + 3399.67220077 Y_46_5 + 34167.6491908 Y_47_5 - 212.011713482 Y_48_5 - 2812.0621716 Y_49_5 + 2554.68940997 Y_4_5 + 9056.32687285 Y_50_5 + 2588.52371463 Y_51_5 + 4759.47584462 Y_52_5 + 7501.16917828 Y_53_5 + 4559.17596472 Y_54_5 - 16808.0911579 Y_55_5 + 5241.64571282 Y_56_5 + 3921.25153701 Y_57_5 + 4584.70653003 Y_58_5 + 8216.76644576 Y_59_5 + 22029.4668665 Y_5_5 + 4506.28265797 Y_60_5 + 2776.72798849 Y_61_5 + 8390.66855838 Y_62_5 - 24749.5832654 Y_63_5 + 1417.72053093 Y_64_5 + 4113.78352704 Y_65_5 + 2905.96579258 Y_66_5 + 5261.20118741 Y_67_5 + 1767.94860885 Y_68_5 + 1264.95780455 Y_69_5 + 10811.1831094 Y_6_5 + 3873.13511758 Y_70_5 + 10160.1936662 Y_71_5 + 5333.98001111 Y_72_5 + 10227.0059177 Y_73_5 + 5426.82244445 Y_74_5 - 22942.3257659 Y_75_5 + 5463.89422704 Y_76_5 + 3187.31158065 Y_77_5 + 14043.0253573 Y_78_5 - 342510.440905 Y_79_5 + 9254.53547297 Y_7_5 + 3940.73788078 Y_80_5 + 2637.27709193 Y_81_5 + 31205.8952692 Y_82_5 + 15992.6936283 Y_83_5 + 1693.20782712 Y_84_5 + 550.191141743 Y_85_5 + 3462.85353329 Y_86_5 + 4601.06267661 Y_87_5 + 1492.47705228 Y_88_5 + 4941.59447506 Y_89_5 + 2778.27952666 Y_8_5 + 18299.4297067 Y_90_5 + 2993.43053059 Y_91_5 + 4483.28987909 Y_92_5 + 5439.31871871 Y_93_5 + 24753.7610658 Y_94_5 + 14133.6239094 Y_95_5 + 3578.14516325 Y_9_5 + abs_pop_diff_4 >= 0 _C787: - 11829.8412384 Y_10_6 - 7176.21554659 Y_11_6 - 2175.07564261 Y_12_6 - 7245.37811062 Y_13_6 - 1826.56591008 Y_14_6 - 7207.3105391 Y_15_6 - 7935.8421011 Y_16_6 - 192.174168987 Y_17_6 - 12957.1211676 Y_18_6 + 120774.452319 Y_19_6 - 11358.6546211 Y_1_6 - 3287.94215464 Y_20_6 - 2353.82313438 Y_21_6 - 8481.04622159 Y_22_6 - 2177.63910523 Y_23_6 + 2215.70761586 Y_24_6 - 4431.06715624 Y_25_6 - 6534.38414954 Y_26_6 - 2172.47912931 Y_27_6 - 3402.66417454 Y_28_6 - 5065.78949563 Y_29_6 - 877.619921457 Y_2_6 - 13400.5580694 Y_30_6 - 3027.03762003 Y_31_6 - 3462.9117048 Y_32_6 + 9726.16182143 Y_33_6 - 1667.19813916 Y_34_6 + 4084.25442522 Y_35_6 - 5247.03336411 Y_36_6 - 12605.03192 Y_37_6 + 5112.76620266 Y_38_6 - 4148.16700546 Y_39_6 - 3129.36704887 Y_3_6 - 4418.763717 Y_40_6 - 4412.51435281 Y_41_6 - 1617.80113879 Y_42_6 - 3636.82477673 Y_43_6 - 2540.77300849 Y_44_6 - 10201.1097033 Y_45_6 - 3399.67220077 Y_46_6 - 34167.6491908 Y_47_6 + 212.011713482 Y_48_6 + 2812.0621716 Y_49_6 - 2554.68940997 Y_4_6 - 9056.32687285 Y_50_6 - 2588.52371463 Y_51_6 - 4759.47584462 Y_52_6 - 7501.16917828 Y_53_6 - 4559.17596472 Y_54_6 + 16808.0911579 Y_55_6 - 5241.64571282 Y_56_6 - 3921.25153701 Y_57_6 - 4584.70653003 Y_58_6 - 8216.76644576 Y_59_6 - 22029.4668665 Y_5_6 - 4506.28265797 Y_60_6 - 2776.72798849 Y_61_6 - 8390.66855838 Y_62_6 + 24749.5832654 Y_63_6 - 1417.72053093 Y_64_6 - 4113.78352704 Y_65_6 - 2905.96579258 Y_66_6 - 5261.20118741 Y_67_6 - 1767.94860885 Y_68_6 - 1264.95780455 Y_69_6 - 10811.1831094 Y_6_6 - 3873.13511758 Y_70_6 - 10160.1936662 Y_71_6 - 5333.98001111 Y_72_6 - 10227.0059177 Y_73_6 - 5426.82244445 Y_74_6 + 22942.3257659 Y_75_6 - 5463.89422704 Y_76_6 - 3187.31158065 Y_77_6 - 14043.0253573 Y_78_6 + 342510.440905 Y_79_6 - 9254.53547297 Y_7_6 - 3940.73788078 Y_80_6 - 2637.27709193 Y_81_6 - 31205.8952692 Y_82_6 - 15992.6936283 Y_83_6 - 1693.20782712 Y_84_6 - 550.191141743 Y_85_6 - 3462.85353329 Y_86_6 - 4601.06267661 Y_87_6 - 1492.47705228 Y_88_6 - 4941.59447506 Y_89_6 - 2778.27952666 Y_8_6 - 18299.4297067 Y_90_6 - 2993.43053059 Y_91_6 - 4483.28987909 Y_92_6 - 5439.31871871 Y_93_6 - 24753.7610658 Y_94_6 - 14133.6239094 Y_95_6 - 3578.14516325 Y_9_6 + abs_pop_diff_5 >= 0 _C788: 11829.8412384 Y_10_6 + 7176.21554659 Y_11_6 + 2175.07564261 Y_12_6 + 7245.37811062 Y_13_6 + 1826.56591008 Y_14_6 + 7207.3105391 Y_15_6 + 7935.8421011 Y_16_6 + 192.174168987 Y_17_6 + 12957.1211676 Y_18_6 - 120774.452319 Y_19_6 + 11358.6546211 Y_1_6 + 3287.94215464 Y_20_6 + 2353.82313438 Y_21_6 + 8481.04622159 Y_22_6 + 2177.63910523 Y_23_6 - 2215.70761586 Y_24_6 + 4431.06715624 Y_25_6 + 6534.38414954 Y_26_6 + 2172.47912931 Y_27_6 + 3402.66417454 Y_28_6 + 5065.78949563 Y_29_6 + 877.619921457 Y_2_6 + 13400.5580694 Y_30_6 + 3027.03762003 Y_31_6 + 3462.9117048 Y_32_6 - 9726.16182143 Y_33_6 + 1667.19813916 Y_34_6 - 4084.25442522 Y_35_6 + 5247.03336411 Y_36_6 + 12605.03192 Y_37_6 - 5112.76620266 Y_38_6 + 4148.16700546 Y_39_6 + 3129.36704887 Y_3_6 + 4418.763717 Y_40_6 + 4412.51435281 Y_41_6 + 1617.80113879 Y_42_6 + 3636.82477673 Y_43_6 + 2540.77300849 Y_44_6 + 10201.1097033 Y_45_6 + 3399.67220077 Y_46_6 + 34167.6491908 Y_47_6 - 212.011713482 Y_48_6 - 2812.0621716 Y_49_6 + 2554.68940997 Y_4_6 + 9056.32687285 Y_50_6 + 2588.52371463 Y_51_6 + 4759.47584462 Y_52_6 + 7501.16917828 Y_53_6 + 4559.17596472 Y_54_6 - 16808.0911579 Y_55_6 + 5241.64571282 Y_56_6 + 3921.25153701 Y_57_6 + 4584.70653003 Y_58_6 + 8216.76644576 Y_59_6 + 22029.4668665 Y_5_6 + 4506.28265797 Y_60_6 + 2776.72798849 Y_61_6 + 8390.66855838 Y_62_6 - 24749.5832654 Y_63_6 + 1417.72053093 Y_64_6 + 4113.78352704 Y_65_6 + 2905.96579258 Y_66_6 + 5261.20118741 Y_67_6 + 1767.94860885 Y_68_6 + 1264.95780455 Y_69_6 + 10811.1831094 Y_6_6 + 3873.13511758 Y_70_6 + 10160.1936662 Y_71_6 + 5333.98001111 Y_72_6 + 10227.0059177 Y_73_6 + 5426.82244445 Y_74_6 - 22942.3257659 Y_75_6 + 5463.89422704 Y_76_6 + 3187.31158065 Y_77_6 + 14043.0253573 Y_78_6 - 342510.440905 Y_79_6 + 9254.53547297 Y_7_6 + 3940.73788078 Y_80_6 + 2637.27709193 Y_81_6 + 31205.8952692 Y_82_6 + 15992.6936283 Y_83_6 + 1693.20782712 Y_84_6 + 550.191141743 Y_85_6 + 3462.85353329 Y_86_6 + 4601.06267661 Y_87_6 + 1492.47705228 Y_88_6 + 4941.59447506 Y_89_6 + 2778.27952666 Y_8_6 + 18299.4297067 Y_90_6 + 2993.43053059 Y_91_6 + 4483.28987909 Y_92_6 + 5439.31871871 Y_93_6 + 24753.7610658 Y_94_6 + 14133.6239094 Y_95_6 + 3578.14516325 Y_9_6 + abs_pop_diff_5 >= 0 _C789: - 11829.8412384 Y_10_7 - 7176.21554659 Y_11_7 - 2175.07564261 Y_12_7 - 7245.37811062 Y_13_7 - 1826.56591008 Y_14_7 - 7207.3105391 Y_15_7 - 7935.8421011 Y_16_7 - 192.174168987 Y_17_7 - 12957.1211676 Y_18_7 + 120774.452319 Y_19_7 - 11358.6546211 Y_1_7 - 3287.94215464 Y_20_7 - 2353.82313438 Y_21_7 - 8481.04622159 Y_22_7 - 2177.63910523 Y_23_7 + 2215.70761586 Y_24_7 - 4431.06715624 Y_25_7 - 6534.38414954 Y_26_7 - 2172.47912931 Y_27_7 - 3402.66417454 Y_28_7 - 5065.78949563 Y_29_7 - 877.619921457 Y_2_7 - 13400.5580694 Y_30_7 - 3027.03762003 Y_31_7 - 3462.9117048 Y_32_7 + 9726.16182143 Y_33_7 - 1667.19813916 Y_34_7 + 4084.25442522 Y_35_7 - 5247.03336411 Y_36_7 - 12605.03192 Y_37_7 + 5112.76620266 Y_38_7 - 4148.16700546 Y_39_7 - 3129.36704887 Y_3_7 - 4418.763717 Y_40_7 - 4412.51435281 Y_41_7 - 1617.80113879 Y_42_7 - 3636.82477673 Y_43_7 - 2540.77300849 Y_44_7 - 10201.1097033 Y_45_7 - 3399.67220077 Y_46_7 - 34167.6491908 Y_47_7 + 212.011713482 Y_48_7 + 2812.0621716 Y_49_7 - 2554.68940997 Y_4_7 - 9056.32687285 Y_50_7 - 2588.52371463 Y_51_7 - 4759.47584462 Y_52_7 - 7501.16917828 Y_53_7 - 4559.17596472 Y_54_7 + 16808.0911579 Y_55_7 - 5241.64571282 Y_56_7 - 3921.25153701 Y_57_7 - 4584.70653003 Y_58_7 - 8216.76644576 Y_59_7 - 22029.4668665 Y_5_7 - 4506.28265797 Y_60_7 - 2776.72798849 Y_61_7 - 8390.66855838 Y_62_7 + 24749.5832654 Y_63_7 - 1417.72053093 Y_64_7 - 4113.78352704 Y_65_7 - 2905.96579258 Y_66_7 - 5261.20118741 Y_67_7 - 1767.94860885 Y_68_7 - 1264.95780455 Y_69_7 - 10811.1831094 Y_6_7 - 3873.13511758 Y_70_7 - 10160.1936662 Y_71_7 - 5333.98001111 Y_72_7 - 10227.0059177 Y_73_7 - 5426.82244445 Y_74_7 + 22942.3257659 Y_75_7 - 5463.89422704 Y_76_7 - 3187.31158065 Y_77_7 - 14043.0253573 Y_78_7 + 342510.440905 Y_79_7 - 9254.53547297 Y_7_7 - 3940.73788078 Y_80_7 - 2637.27709193 Y_81_7 - 31205.8952692 Y_82_7 - 15992.6936283 Y_83_7 - 1693.20782712 Y_84_7 - 550.191141743 Y_85_7 - 3462.85353329 Y_86_7 - 4601.06267661 Y_87_7 - 1492.47705228 Y_88_7 - 4941.59447506 Y_89_7 - 2778.27952666 Y_8_7 - 18299.4297067 Y_90_7 - 2993.43053059 Y_91_7 - 4483.28987909 Y_92_7 - 5439.31871871 Y_93_7 - 24753.7610658 Y_94_7 - 14133.6239094 Y_95_7 - 3578.14516325 Y_9_7 + abs_pop_diff_6 >= 0 _C790: 11829.8412384 Y_10_7 + 7176.21554659 Y_11_7 + 2175.07564261 Y_12_7 + 7245.37811062 Y_13_7 + 1826.56591008 Y_14_7 + 7207.3105391 Y_15_7 + 7935.8421011 Y_16_7 + 192.174168987 Y_17_7 + 12957.1211676 Y_18_7 - 120774.452319 Y_19_7 + 11358.6546211 Y_1_7 + 3287.94215464 Y_20_7 + 2353.82313438 Y_21_7 + 8481.04622159 Y_22_7 + 2177.63910523 Y_23_7 - 2215.70761586 Y_24_7 + 4431.06715624 Y_25_7 + 6534.38414954 Y_26_7 + 2172.47912931 Y_27_7 + 3402.66417454 Y_28_7 + 5065.78949563 Y_29_7 + 877.619921457 Y_2_7 + 13400.5580694 Y_30_7 + 3027.03762003 Y_31_7 + 3462.9117048 Y_32_7 - 9726.16182143 Y_33_7 + 1667.19813916 Y_34_7 - 4084.25442522 Y_35_7 + 5247.03336411 Y_36_7 + 12605.03192 Y_37_7 - 5112.76620266 Y_38_7 + 4148.16700546 Y_39_7 + 3129.36704887 Y_3_7 + 4418.763717 Y_40_7 + 4412.51435281 Y_41_7 + 1617.80113879 Y_42_7 + 3636.82477673 Y_43_7 + 2540.77300849 Y_44_7 + 10201.1097033 Y_45_7 + 3399.67220077 Y_46_7 + 34167.6491908 Y_47_7 - 212.011713482 Y_48_7 - 2812.0621716 Y_49_7 + 2554.68940997 Y_4_7 + 9056.32687285 Y_50_7 + 2588.52371463 Y_51_7 + 4759.47584462 Y_52_7 + 7501.16917828 Y_53_7 + 4559.17596472 Y_54_7 - 16808.0911579 Y_55_7 + 5241.64571282 Y_56_7 + 3921.25153701 Y_57_7 + 4584.70653003 Y_58_7 + 8216.76644576 Y_59_7 + 22029.4668665 Y_5_7 + 4506.28265797 Y_60_7 + 2776.72798849 Y_61_7 + 8390.66855838 Y_62_7 - 24749.5832654 Y_63_7 + 1417.72053093 Y_64_7 + 4113.78352704 Y_65_7 + 2905.96579258 Y_66_7 + 5261.20118741 Y_67_7 + 1767.94860885 Y_68_7 + 1264.95780455 Y_69_7 + 10811.1831094 Y_6_7 + 3873.13511758 Y_70_7 + 10160.1936662 Y_71_7 + 5333.98001111 Y_72_7 + 10227.0059177 Y_73_7 + 5426.82244445 Y_74_7 - 22942.3257659 Y_75_7 + 5463.89422704 Y_76_7 + 3187.31158065 Y_77_7 + 14043.0253573 Y_78_7 - 342510.440905 Y_79_7 + 9254.53547297 Y_7_7 + 3940.73788078 Y_80_7 + 2637.27709193 Y_81_7 + 31205.8952692 Y_82_7 + 15992.6936283 Y_83_7 + 1693.20782712 Y_84_7 + 550.191141743 Y_85_7 + 3462.85353329 Y_86_7 + 4601.06267661 Y_87_7 + 1492.47705228 Y_88_7 + 4941.59447506 Y_89_7 + 2778.27952666 Y_8_7 + 18299.4297067 Y_90_7 + 2993.43053059 Y_91_7 + 4483.28987909 Y_92_7 + 5439.31871871 Y_93_7 + 24753.7610658 Y_94_7 + 14133.6239094 Y_95_7 + 3578.14516325 Y_9_7 + abs_pop_diff_6 >= 0 VARIABLES 0 <= Y_10_1 <= 1 Integer 0 <= Y_10_2 <= 1 Integer 0 <= Y_10_3 <= 1 Integer 0 <= Y_10_4 <= 1 Integer 0 <= Y_10_5 <= 1 Integer 0 <= Y_10_6 <= 1 Integer 0 <= Y_10_7 <= 1 Integer 0 <= Y_11_1 <= 1 Integer 0 <= Y_11_2 <= 1 Integer 0 <= Y_11_3 <= 1 Integer 0 <= Y_11_4 <= 1 Integer 0 <= Y_11_5 <= 1 Integer 0 <= Y_11_6 <= 1 Integer 0 <= Y_11_7 <= 1 Integer 0 <= Y_12_1 <= 1 Integer 0 <= Y_12_2 <= 1 Integer 0 <= Y_12_3 <= 1 Integer 0 <= Y_12_4 <= 1 Integer 0 <= Y_12_5 <= 1 Integer 0 <= Y_12_6 <= 1 Integer 0 <= Y_12_7 <= 1 Integer 0 <= Y_13_1 <= 1 Integer 0 <= Y_13_2 <= 1 Integer 0 <= Y_13_3 <= 1 Integer 0 <= Y_13_4 <= 1 Integer 0 <= Y_13_5 <= 1 Integer 0 <= Y_13_6 <= 1 Integer 0 <= Y_13_7 <= 1 Integer 0 <= Y_14_1 <= 1 Integer 0 <= Y_14_2 <= 1 Integer 0 <= Y_14_3 <= 1 Integer 0 <= Y_14_4 <= 1 Integer 0 <= Y_14_5 <= 1 Integer 0 <= Y_14_6 <= 1 Integer 0 <= Y_14_7 <= 1 Integer 0 <= Y_15_1 <= 1 Integer 0 <= Y_15_2 <= 1 Integer 0 <= Y_15_3 <= 1 Integer 0 <= Y_15_4 <= 1 Integer 0 <= Y_15_5 <= 1 Integer 0 <= Y_15_6 <= 1 Integer 0 <= Y_15_7 <= 1 Integer 0 <= Y_16_1 <= 1 Integer 0 <= Y_16_2 <= 1 Integer 0 <= Y_16_3 <= 1 Integer 0 <= Y_16_4 <= 1 Integer 0 <= Y_16_5 <= 1 Integer 0 <= Y_16_6 <= 1 Integer 0 <= Y_16_7 <= 1 Integer 0 <= Y_17_1 <= 1 Integer 0 <= Y_17_2 <= 1 Integer 0 <= Y_17_3 <= 1 Integer 0 <= Y_17_4 <= 1 Integer 0 <= Y_17_5 <= 1 Integer 0 <= Y_17_6 <= 1 Integer 0 <= Y_17_7 <= 1 Integer 0 <= Y_18_1 <= 1 Integer 0 <= Y_18_2 <= 1 Integer 0 <= Y_18_3 <= 1 Integer 0 <= Y_18_4 <= 1 Integer 0 <= Y_18_5 <= 1 Integer 0 <= Y_18_6 <= 1 Integer 0 <= Y_18_7 <= 1 Integer 0 <= Y_19_1 <= 1 Integer 0 <= Y_19_2 <= 1 Integer 0 <= Y_19_3 <= 1 Integer 0 <= Y_19_4 <= 1 Integer 0 <= Y_19_5 <= 1 Integer 0 <= Y_19_6 <= 1 Integer 0 <= Y_19_7 <= 1 Integer 0 <= Y_1_1 <= 1 Integer 0 <= Y_1_2 <= 1 Integer 0 <= Y_1_3 <= 1 Integer 0 <= Y_1_4 <= 1 Integer 0 <= Y_1_5 <= 1 Integer 0 <= Y_1_6 <= 1 Integer 0 <= Y_1_7 <= 1 Integer 0 <= Y_20_1 <= 1 Integer 0 <= Y_20_2 <= 1 Integer 0 <= Y_20_3 <= 1 Integer 0 <= Y_20_4 <= 1 Integer 0 <= Y_20_5 <= 1 Integer 0 <= Y_20_6 <= 1 Integer 0 <= Y_20_7 <= 1 Integer 0 <= Y_21_1 <= 1 Integer 0 <= Y_21_2 <= 1 Integer 0 <= Y_21_3 <= 1 Integer 0 <= Y_21_4 <= 1 Integer 0 <= Y_21_5 <= 1 Integer 0 <= Y_21_6 <= 1 Integer 0 <= Y_21_7 <= 1 Integer 0 <= Y_22_1 <= 1 Integer 0 <= Y_22_2 <= 1 Integer 0 <= Y_22_3 <= 1 Integer 0 <= Y_22_4 <= 1 Integer 0 <= Y_22_5 <= 1 Integer 0 <= Y_22_6 <= 1 Integer 0 <= Y_22_7 <= 1 Integer 0 <= Y_23_1 <= 1 Integer 0 <= Y_23_2 <= 1 Integer 0 <= Y_23_3 <= 1 Integer 0 <= Y_23_4 <= 1 Integer 0 <= Y_23_5 <= 1 Integer 0 <= Y_23_6 <= 1 Integer 0 <= Y_23_7 <= 1 Integer 0 <= Y_24_1 <= 1 Integer 0 <= Y_24_2 <= 1 Integer 0 <= Y_24_3 <= 1 Integer 0 <= Y_24_4 <= 1 Integer 0 <= Y_24_5 <= 1 Integer 0 <= Y_24_6 <= 1 Integer 0 <= Y_24_7 <= 1 Integer 0 <= Y_25_1 <= 1 Integer 0 <= Y_25_2 <= 1 Integer 0 <= Y_25_3 <= 1 Integer 0 <= Y_25_4 <= 1 Integer 0 <= Y_25_5 <= 1 Integer 0 <= Y_25_6 <= 1 Integer 0 <= Y_25_7 <= 1 Integer 0 <= Y_26_1 <= 1 Integer 0 <= Y_26_2 <= 1 Integer 0 <= Y_26_3 <= 1 Integer 0 <= Y_26_4 <= 1 Integer 0 <= Y_26_5 <= 1 Integer 0 <= Y_26_6 <= 1 Integer 0 <= Y_26_7 <= 1 Integer 0 <= Y_27_1 <= 1 Integer 0 <= Y_27_2 <= 1 Integer 0 <= Y_27_3 <= 1 Integer 0 <= Y_27_4 <= 1 Integer 0 <= Y_27_5 <= 1 Integer 0 <= Y_27_6 <= 1 Integer 0 <= Y_27_7 <= 1 Integer 0 <= Y_28_1 <= 1 Integer 0 <= Y_28_2 <= 1 Integer 0 <= Y_28_3 <= 1 Integer 0 <= Y_28_4 <= 1 Integer 0 <= Y_28_5 <= 1 Integer 0 <= Y_28_6 <= 1 Integer 0 <= Y_28_7 <= 1 Integer 0 <= Y_29_1 <= 1 Integer 0 <= Y_29_2 <= 1 Integer 0 <= Y_29_3 <= 1 Integer 0 <= Y_29_4 <= 1 Integer 0 <= Y_29_5 <= 1 Integer 0 <= Y_29_6 <= 1 Integer 0 <= Y_29_7 <= 1 Integer 0 <= Y_2_1 <= 1 Integer 0 <= Y_2_2 <= 1 Integer 0 <= Y_2_3 <= 1 Integer 0 <= Y_2_4 <= 1 Integer 0 <= Y_2_5 <= 1 Integer 0 <= Y_2_6 <= 1 Integer 0 <= Y_2_7 <= 1 Integer 0 <= Y_30_1 <= 1 Integer 0 <= Y_30_2 <= 1 Integer 0 <= Y_30_3 <= 1 Integer 0 <= Y_30_4 <= 1 Integer 0 <= Y_30_5 <= 1 Integer 0 <= Y_30_6 <= 1 Integer 0 <= Y_30_7 <= 1 Integer 0 <= Y_31_1 <= 1 Integer 0 <= Y_31_2 <= 1 Integer 0 <= Y_31_3 <= 1 Integer 0 <= Y_31_4 <= 1 Integer 0 <= Y_31_5 <= 1 Integer 0 <= Y_31_6 <= 1 Integer 0 <= Y_31_7 <= 1 Integer 0 <= Y_32_1 <= 1 Integer 0 <= Y_32_2 <= 1 Integer 0 <= Y_32_3 <= 1 Integer 0 <= Y_32_4 <= 1 Integer 0 <= Y_32_5 <= 1 Integer 0 <= Y_32_6 <= 1 Integer 0 <= Y_32_7 <= 1 Integer 0 <= Y_33_1 <= 1 Integer 0 <= Y_33_2 <= 1 Integer 0 <= Y_33_3 <= 1 Integer 0 <= Y_33_4 <= 1 Integer 0 <= Y_33_5 <= 1 Integer 0 <= Y_33_6 <= 1 Integer 0 <= Y_33_7 <= 1 Integer 0 <= Y_34_1 <= 1 Integer 0 <= Y_34_2 <= 1 Integer 0 <= Y_34_3 <= 1 Integer 0 <= Y_34_4 <= 1 Integer 0 <= Y_34_5 <= 1 Integer 0 <= Y_34_6 <= 1 Integer 0 <= Y_34_7 <= 1 Integer 0 <= Y_35_1 <= 1 Integer 0 <= Y_35_2 <= 1 Integer 0 <= Y_35_3 <= 1 Integer 0 <= Y_35_4 <= 1 Integer 0 <= Y_35_5 <= 1 Integer 0 <= Y_35_6 <= 1 Integer 0 <= Y_35_7 <= 1 Integer 0 <= Y_36_1 <= 1 Integer 0 <= Y_36_2 <= 1 Integer 0 <= Y_36_3 <= 1 Integer 0 <= Y_36_4 <= 1 Integer 0 <= Y_36_5 <= 1 Integer 0 <= Y_36_6 <= 1 Integer 0 <= Y_36_7 <= 1 Integer 0 <= Y_37_1 <= 1 Integer 0 <= Y_37_2 <= 1 Integer 0 <= Y_37_3 <= 1 Integer 0 <= Y_37_4 <= 1 Integer 0 <= Y_37_5 <= 1 Integer 0 <= Y_37_6 <= 1 Integer 0 <= Y_37_7 <= 1 Integer 0 <= Y_38_1 <= 1 Integer 0 <= Y_38_2 <= 1 Integer 0 <= Y_38_3 <= 1 Integer 0 <= Y_38_4 <= 1 Integer 0 <= Y_38_5 <= 1 Integer 0 <= Y_38_6 <= 1 Integer 0 <= Y_38_7 <= 1 Integer 0 <= Y_39_1 <= 1 Integer 0 <= Y_39_2 <= 1 Integer 0 <= Y_39_3 <= 1 Integer 0 <= Y_39_4 <= 1 Integer 0 <= Y_39_5 <= 1 Integer 0 <= Y_39_6 <= 1 Integer 0 <= Y_39_7 <= 1 Integer 0 <= Y_3_1 <= 1 Integer 0 <= Y_3_2 <= 1 Integer 0 <= Y_3_3 <= 1 Integer 0 <= Y_3_4 <= 1 Integer 0 <= Y_3_5 <= 1 Integer 0 <= Y_3_6 <= 1 Integer 0 <= Y_3_7 <= 1 Integer 0 <= Y_40_1 <= 1 Integer 0 <= Y_40_2 <= 1 Integer 0 <= Y_40_3 <= 1 Integer 0 <= Y_40_4 <= 1 Integer 0 <= Y_40_5 <= 1 Integer 0 <= Y_40_6 <= 1 Integer 0 <= Y_40_7 <= 1 Integer 0 <= Y_41_1 <= 1 Integer 0 <= Y_41_2 <= 1 Integer 0 <= Y_41_3 <= 1 Integer 0 <= Y_41_4 <= 1 Integer 0 <= Y_41_5 <= 1 Integer 0 <= Y_41_6 <= 1 Integer 0 <= Y_41_7 <= 1 Integer 0 <= Y_42_1 <= 1 Integer 0 <= Y_42_2 <= 1 Integer 0 <= Y_42_3 <= 1 Integer 0 <= Y_42_4 <= 1 Integer 0 <= Y_42_5 <= 1 Integer 0 <= Y_42_6 <= 1 Integer 0 <= Y_42_7 <= 1 Integer 0 <= Y_43_1 <= 1 Integer 0 <= Y_43_2 <= 1 Integer 0 <= Y_43_3 <= 1 Integer 0 <= Y_43_4 <= 1 Integer 0 <= Y_43_5 <= 1 Integer 0 <= Y_43_6 <= 1 Integer 0 <= Y_43_7 <= 1 Integer 0 <= Y_44_1 <= 1 Integer 0 <= Y_44_2 <= 1 Integer 0 <= Y_44_3 <= 1 Integer 0 <= Y_44_4 <= 1 Integer 0 <= Y_44_5 <= 1 Integer 0 <= Y_44_6 <= 1 Integer 0 <= Y_44_7 <= 1 Integer 0 <= Y_45_1 <= 1 Integer 0 <= Y_45_2 <= 1 Integer 0 <= Y_45_3 <= 1 Integer 0 <= Y_45_4 <= 1 Integer 0 <= Y_45_5 <= 1 Integer 0 <= Y_45_6 <= 1 Integer 0 <= Y_45_7 <= 1 Integer 0 <= Y_46_1 <= 1 Integer 0 <= Y_46_2 <= 1 Integer 0 <= Y_46_3 <= 1 Integer 0 <= Y_46_4 <= 1 Integer 0 <= Y_46_5 <= 1 Integer 0 <= Y_46_6 <= 1 Integer 0 <= Y_46_7 <= 1 Integer 0 <= Y_47_1 <= 1 Integer 0 <= Y_47_2 <= 1 Integer 0 <= Y_47_3 <= 1 Integer 0 <= Y_47_4 <= 1 Integer 0 <= Y_47_5 <= 1 Integer 0 <= Y_47_6 <= 1 Integer 0 <= Y_47_7 <= 1 Integer 0 <= Y_48_1 <= 1 Integer 0 <= Y_48_2 <= 1 Integer 0 <= Y_48_3 <= 1 Integer 0 <= Y_48_4 <= 1 Integer 0 <= Y_48_5 <= 1 Integer 0 <= Y_48_6 <= 1 Integer 0 <= Y_48_7 <= 1 Integer 0 <= Y_49_1 <= 1 Integer 0 <= Y_49_2 <= 1 Integer 0 <= Y_49_3 <= 1 Integer 0 <= Y_49_4 <= 1 Integer 0 <= Y_49_5 <= 1 Integer 0 <= Y_49_6 <= 1 Integer 0 <= Y_49_7 <= 1 Integer 0 <= Y_4_1 <= 1 Integer 0 <= Y_4_2 <= 1 Integer 0 <= Y_4_3 <= 1 Integer 0 <= Y_4_4 <= 1 Integer 0 <= Y_4_5 <= 1 Integer 0 <= Y_4_6 <= 1 Integer 0 <= Y_4_7 <= 1 Integer 0 <= Y_50_1 <= 1 Integer 0 <= Y_50_2 <= 1 Integer 0 <= Y_50_3 <= 1 Integer 0 <= Y_50_4 <= 1 Integer 0 <= Y_50_5 <= 1 Integer 0 <= Y_50_6 <= 1 Integer 0 <= Y_50_7 <= 1 Integer 0 <= Y_51_1 <= 1 Integer 0 <= Y_51_2 <= 1 Integer 0 <= Y_51_3 <= 1 Integer 0 <= Y_51_4 <= 1 Integer 0 <= Y_51_5 <= 1 Integer 0 <= Y_51_6 <= 1 Integer 0 <= Y_51_7 <= 1 Integer 0 <= Y_52_1 <= 1 Integer 0 <= Y_52_2 <= 1 Integer 0 <= Y_52_3 <= 1 Integer 0 <= Y_52_4 <= 1 Integer 0 <= Y_52_5 <= 1 Integer 0 <= Y_52_6 <= 1 Integer 0 <= Y_52_7 <= 1 Integer 0 <= Y_53_1 <= 1 Integer 0 <= Y_53_2 <= 1 Integer 0 <= Y_53_3 <= 1 Integer 0 <= Y_53_4 <= 1 Integer 0 <= Y_53_5 <= 1 Integer 0 <= Y_53_6 <= 1 Integer 0 <= Y_53_7 <= 1 Integer 0 <= Y_54_1 <= 1 Integer 0 <= Y_54_2 <= 1 Integer 0 <= Y_54_3 <= 1 Integer 0 <= Y_54_4 <= 1 Integer 0 <= Y_54_5 <= 1 Integer 0 <= Y_54_6 <= 1 Integer 0 <= Y_54_7 <= 1 Integer 0 <= Y_55_1 <= 1 Integer 0 <= Y_55_2 <= 1 Integer 0 <= Y_55_3 <= 1 Integer 0 <= Y_55_4 <= 1 Integer 0 <= Y_55_5 <= 1 Integer 0 <= Y_55_6 <= 1 Integer 0 <= Y_55_7 <= 1 Integer 0 <= Y_56_1 <= 1 Integer 0 <= Y_56_2 <= 1 Integer 0 <= Y_56_3 <= 1 Integer 0 <= Y_56_4 <= 1 Integer 0 <= Y_56_5 <= 1 Integer 0 <= Y_56_6 <= 1 Integer 0 <= Y_56_7 <= 1 Integer 0 <= Y_57_1 <= 1 Integer 0 <= Y_57_2 <= 1 Integer 0 <= Y_57_3 <= 1 Integer 0 <= Y_57_4 <= 1 Integer 0 <= Y_57_5 <= 1 Integer 0 <= Y_57_6 <= 1 Integer 0 <= Y_57_7 <= 1 Integer 0 <= Y_58_1 <= 1 Integer 0 <= Y_58_2 <= 1 Integer 0 <= Y_58_3 <= 1 Integer 0 <= Y_58_4 <= 1 Integer 0 <= Y_58_5 <= 1 Integer 0 <= Y_58_6 <= 1 Integer 0 <= Y_58_7 <= 1 Integer 0 <= Y_59_1 <= 1 Integer 0 <= Y_59_2 <= 1 Integer 0 <= Y_59_3 <= 1 Integer 0 <= Y_59_4 <= 1 Integer 0 <= Y_59_5 <= 1 Integer 0 <= Y_59_6 <= 1 Integer 0 <= Y_59_7 <= 1 Integer 0 <= Y_5_1 <= 1 Integer 0 <= Y_5_2 <= 1 Integer 0 <= Y_5_3 <= 1 Integer 0 <= Y_5_4 <= 1 Integer 0 <= Y_5_5 <= 1 Integer 0 <= Y_5_6 <= 1 Integer 0 <= Y_5_7 <= 1 Integer 0 <= Y_60_1 <= 1 Integer 0 <= Y_60_2 <= 1 Integer 0 <= Y_60_3 <= 1 Integer 0 <= Y_60_4 <= 1 Integer 0 <= Y_60_5 <= 1 Integer 0 <= Y_60_6 <= 1 Integer 0 <= Y_60_7 <= 1 Integer 0 <= Y_61_1 <= 1 Integer 0 <= Y_61_2 <= 1 Integer 0 <= Y_61_3 <= 1 Integer 0 <= Y_61_4 <= 1 Integer 0 <= Y_61_5 <= 1 Integer 0 <= Y_61_6 <= 1 Integer 0 <= Y_61_7 <= 1 Integer 0 <= Y_62_1 <= 1 Integer 0 <= Y_62_2 <= 1 Integer 0 <= Y_62_3 <= 1 Integer 0 <= Y_62_4 <= 1 Integer 0 <= Y_62_5 <= 1 Integer 0 <= Y_62_6 <= 1 Integer 0 <= Y_62_7 <= 1 Integer 0 <= Y_63_1 <= 1 Integer 0 <= Y_63_2 <= 1 Integer 0 <= Y_63_3 <= 1 Integer 0 <= Y_63_4 <= 1 Integer 0 <= Y_63_5 <= 1 Integer 0 <= Y_63_6 <= 1 Integer 0 <= Y_63_7 <= 1 Integer 0 <= Y_64_1 <= 1 Integer 0 <= Y_64_2 <= 1 Integer 0 <= Y_64_3 <= 1 Integer 0 <= Y_64_4 <= 1 Integer 0 <= Y_64_5 <= 1 Integer 0 <= Y_64_6 <= 1 Integer 0 <= Y_64_7 <= 1 Integer 0 <= Y_65_1 <= 1 Integer 0 <= Y_65_2 <= 1 Integer 0 <= Y_65_3 <= 1 Integer 0 <= Y_65_4 <= 1 Integer 0 <= Y_65_5 <= 1 Integer 0 <= Y_65_6 <= 1 Integer 0 <= Y_65_7 <= 1 Integer 0 <= Y_66_1 <= 1 Integer 0 <= Y_66_2 <= 1 Integer 0 <= Y_66_3 <= 1 Integer 0 <= Y_66_4 <= 1 Integer 0 <= Y_66_5 <= 1 Integer 0 <= Y_66_6 <= 1 Integer 0 <= Y_66_7 <= 1 Integer 0 <= Y_67_1 <= 1 Integer 0 <= Y_67_2 <= 1 Integer 0 <= Y_67_3 <= 1 Integer 0 <= Y_67_4 <= 1 Integer 0 <= Y_67_5 <= 1 Integer 0 <= Y_67_6 <= 1 Integer 0 <= Y_67_7 <= 1 Integer 0 <= Y_68_1 <= 1 Integer 0 <= Y_68_2 <= 1 Integer 0 <= Y_68_3 <= 1 Integer 0 <= Y_68_4 <= 1 Integer 0 <= Y_68_5 <= 1 Integer 0 <= Y_68_6 <= 1 Integer 0 <= Y_68_7 <= 1 Integer 0 <= Y_69_1 <= 1 Integer 0 <= Y_69_2 <= 1 Integer 0 <= Y_69_3 <= 1 Integer 0 <= Y_69_4 <= 1 Integer 0 <= Y_69_5 <= 1 Integer 0 <= Y_69_6 <= 1 Integer 0 <= Y_69_7 <= 1 Integer 0 <= Y_6_1 <= 1 Integer 0 <= Y_6_2 <= 1 Integer 0 <= Y_6_3 <= 1 Integer 0 <= Y_6_4 <= 1 Integer 0 <= Y_6_5 <= 1 Integer 0 <= Y_6_6 <= 1 Integer 0 <= Y_6_7 <= 1 Integer 0 <= Y_70_1 <= 1 Integer 0 <= Y_70_2 <= 1 Integer 0 <= Y_70_3 <= 1 Integer 0 <= Y_70_4 <= 1 Integer 0 <= Y_70_5 <= 1 Integer 0 <= Y_70_6 <= 1 Integer 0 <= Y_70_7 <= 1 Integer 0 <= Y_71_1 <= 1 Integer 0 <= Y_71_2 <= 1 Integer 0 <= Y_71_3 <= 1 Integer 0 <= Y_71_4 <= 1 Integer 0 <= Y_71_5 <= 1 Integer 0 <= Y_71_6 <= 1 Integer 0 <= Y_71_7 <= 1 Integer 0 <= Y_72_1 <= 1 Integer 0 <= Y_72_2 <= 1 Integer 0 <= Y_72_3 <= 1 Integer 0 <= Y_72_4 <= 1 Integer 0 <= Y_72_5 <= 1 Integer 0 <= Y_72_6 <= 1 Integer 0 <= Y_72_7 <= 1 Integer 0 <= Y_73_1 <= 1 Integer 0 <= Y_73_2 <= 1 Integer 0 <= Y_73_3 <= 1 Integer 0 <= Y_73_4 <= 1 Integer 0 <= Y_73_5 <= 1 Integer 0 <= Y_73_6 <= 1 Integer 0 <= Y_73_7 <= 1 Integer 0 <= Y_74_1 <= 1 Integer 0 <= Y_74_2 <= 1 Integer 0 <= Y_74_3 <= 1 Integer 0 <= Y_74_4 <= 1 Integer 0 <= Y_74_5 <= 1 Integer 0 <= Y_74_6 <= 1 Integer 0 <= Y_74_7 <= 1 Integer 0 <= Y_75_1 <= 1 Integer 0 <= Y_75_2 <= 1 Integer 0 <= Y_75_3 <= 1 Integer 0 <= Y_75_4 <= 1 Integer 0 <= Y_75_5 <= 1 Integer 0 <= Y_75_6 <= 1 Integer 0 <= Y_75_7 <= 1 Integer 0 <= Y_76_1 <= 1 Integer 0 <= Y_76_2 <= 1 Integer 0 <= Y_76_3 <= 1 Integer 0 <= Y_76_4 <= 1 Integer 0 <= Y_76_5 <= 1 Integer 0 <= Y_76_6 <= 1 Integer 0 <= Y_76_7 <= 1 Integer 0 <= Y_77_1 <= 1 Integer 0 <= Y_77_2 <= 1 Integer 0 <= Y_77_3 <= 1 Integer 0 <= Y_77_4 <= 1 Integer 0 <= Y_77_5 <= 1 Integer 0 <= Y_77_6 <= 1 Integer 0 <= Y_77_7 <= 1 Integer 0 <= Y_78_1 <= 1 Integer 0 <= Y_78_2 <= 1 Integer 0 <= Y_78_3 <= 1 Integer 0 <= Y_78_4 <= 1 Integer 0 <= Y_78_5 <= 1 Integer 0 <= Y_78_6 <= 1 Integer 0 <= Y_78_7 <= 1 Integer 0 <= Y_79_1 <= 1 Integer 0 <= Y_79_2 <= 1 Integer 0 <= Y_79_3 <= 1 Integer 0 <= Y_79_4 <= 1 Integer 0 <= Y_79_5 <= 1 Integer 0 <= Y_79_6 <= 1 Integer 0 <= Y_79_7 <= 1 Integer 0 <= Y_7_1 <= 1 Integer 0 <= Y_7_2 <= 1 Integer 0 <= Y_7_3 <= 1 Integer 0 <= Y_7_4 <= 1 Integer 0 <= Y_7_5 <= 1 Integer 0 <= Y_7_6 <= 1 Integer 0 <= Y_7_7 <= 1 Integer 0 <= Y_80_1 <= 1 Integer 0 <= Y_80_2 <= 1 Integer 0 <= Y_80_3 <= 1 Integer 0 <= Y_80_4 <= 1 Integer 0 <= Y_80_5 <= 1 Integer 0 <= Y_80_6 <= 1 Integer 0 <= Y_80_7 <= 1 Integer 0 <= Y_81_1 <= 1 Integer 0 <= Y_81_2 <= 1 Integer 0 <= Y_81_3 <= 1 Integer 0 <= Y_81_4 <= 1 Integer 0 <= Y_81_5 <= 1 Integer 0 <= Y_81_6 <= 1 Integer 0 <= Y_81_7 <= 1 Integer 0 <= Y_82_1 <= 1 Integer 0 <= Y_82_2 <= 1 Integer 0 <= Y_82_3 <= 1 Integer 0 <= Y_82_4 <= 1 Integer 0 <= Y_82_5 <= 1 Integer 0 <= Y_82_6 <= 1 Integer 0 <= Y_82_7 <= 1 Integer 0 <= Y_83_1 <= 1 Integer 0 <= Y_83_2 <= 1 Integer 0 <= Y_83_3 <= 1 Integer 0 <= Y_83_4 <= 1 Integer 0 <= Y_83_5 <= 1 Integer 0 <= Y_83_6 <= 1 Integer 0 <= Y_83_7 <= 1 Integer 0 <= Y_84_1 <= 1 Integer 0 <= Y_84_2 <= 1 Integer 0 <= Y_84_3 <= 1 Integer 0 <= Y_84_4 <= 1 Integer 0 <= Y_84_5 <= 1 Integer 0 <= Y_84_6 <= 1 Integer 0 <= Y_84_7 <= 1 Integer 0 <= Y_85_1 <= 1 Integer 0 <= Y_85_2 <= 1 Integer 0 <= Y_85_3 <= 1 Integer 0 <= Y_85_4 <= 1 Integer 0 <= Y_85_5 <= 1 Integer 0 <= Y_85_6 <= 1 Integer 0 <= Y_85_7 <= 1 Integer 0 <= Y_86_1 <= 1 Integer 0 <= Y_86_2 <= 1 Integer 0 <= Y_86_3 <= 1 Integer 0 <= Y_86_4 <= 1 Integer 0 <= Y_86_5 <= 1 Integer 0 <= Y_86_6 <= 1 Integer 0 <= Y_86_7 <= 1 Integer 0 <= Y_87_1 <= 1 Integer 0 <= Y_87_2 <= 1 Integer 0 <= Y_87_3 <= 1 Integer 0 <= Y_87_4 <= 1 Integer 0 <= Y_87_5 <= 1 Integer 0 <= Y_87_6 <= 1 Integer 0 <= Y_87_7 <= 1 Integer 0 <= Y_88_1 <= 1 Integer 0 <= Y_88_2 <= 1 Integer 0 <= Y_88_3 <= 1 Integer 0 <= Y_88_4 <= 1 Integer 0 <= Y_88_5 <= 1 Integer 0 <= Y_88_6 <= 1 Integer 0 <= Y_88_7 <= 1 Integer 0 <= Y_89_1 <= 1 Integer 0 <= Y_89_2 <= 1 Integer 0 <= Y_89_3 <= 1 Integer 0 <= Y_89_4 <= 1 Integer 0 <= Y_89_5 <= 1 Integer 0 <= Y_89_6 <= 1 Integer 0 <= Y_89_7 <= 1 Integer 0 <= Y_8_1 <= 1 Integer 0 <= Y_8_2 <= 1 Integer 0 <= Y_8_3 <= 1 Integer 0 <= Y_8_4 <= 1 Integer 0 <= Y_8_5 <= 1 Integer 0 <= Y_8_6 <= 1 Integer 0 <= Y_8_7 <= 1 Integer 0 <= Y_90_1 <= 1 Integer 0 <= Y_90_2 <= 1 Integer 0 <= Y_90_3 <= 1 Integer 0 <= Y_90_4 <= 1 Integer 0 <= Y_90_5 <= 1 Integer 0 <= Y_90_6 <= 1 Integer 0 <= Y_90_7 <= 1 Integer 0 <= Y_91_1 <= 1 Integer 0 <= Y_91_2 <= 1 Integer 0 <= Y_91_3 <= 1 Integer 0 <= Y_91_4 <= 1 Integer 0 <= Y_91_5 <= 1 Integer 0 <= Y_91_6 <= 1 Integer 0 <= Y_91_7 <= 1 Integer 0 <= Y_92_1 <= 1 Integer 0 <= Y_92_2 <= 1 Integer 0 <= Y_92_3 <= 1 Integer 0 <= Y_92_4 <= 1 Integer 0 <= Y_92_5 <= 1 Integer 0 <= Y_92_6 <= 1 Integer 0 <= Y_92_7 <= 1 Integer 0 <= Y_93_1 <= 1 Integer 0 <= Y_93_2 <= 1 Integer 0 <= Y_93_3 <= 1 Integer 0 <= Y_93_4 <= 1 Integer 0 <= Y_93_5 <= 1 Integer 0 <= Y_93_6 <= 1 Integer 0 <= Y_93_7 <= 1 Integer 0 <= Y_94_1 <= 1 Integer 0 <= Y_94_2 <= 1 Integer 0 <= Y_94_3 <= 1 Integer 0 <= Y_94_4 <= 1 Integer 0 <= Y_94_5 <= 1 Integer 0 <= Y_94_6 <= 1 Integer 0 <= Y_94_7 <= 1 Integer 0 <= Y_95_1 <= 1 Integer 0 <= Y_95_2 <= 1 Integer 0 <= Y_95_3 <= 1 Integer 0 <= Y_95_4 <= 1 Integer 0 <= Y_95_5 <= 1 Integer 0 <= Y_95_6 <= 1 Integer 0 <= Y_95_7 <= 1 Integer 0 <= Y_9_1 <= 1 Integer 0 <= Y_9_2 <= 1 Integer 0 <= Y_9_3 <= 1 Integer 0 <= Y_9_4 <= 1 Integer 0 <= Y_9_5 <= 1 Integer 0 <= Y_9_6 <= 1 Integer 0 <= Y_9_7 <= 1 Integer abs_pop_diff_0 free Continuous abs_pop_diff_1 free Continuous abs_pop_diff_2 free Continuous abs_pop_diff_3 free Continuous abs_pop_diff_4 free Continuous abs_pop_diff_5 free Continuous abs_pop_diff_6 free Continuous
assigned_districts = pd.DataFrame()
for v in model.variables():
if v.varValue == 1:
df = pd.DataFrame({
'var':[v.name],
'county':[v.name.split('_')[1]],
'district':[v.name.split('_')[2]],
})
assigned_districts = assigned_districts.append(df)
assigned_districts
| var | county | district | |
|---|---|---|---|
| 0 | Y_10_2 | 10 | 2 |
| 0 | Y_11_1 | 11 | 1 |
| 0 | Y_12_4 | 12 | 4 |
| 0 | Y_13_2 | 13 | 2 |
| 0 | Y_14_2 | 14 | 2 |
| ... | ... | ... | ... |
| 0 | Y_92_3 | 92 | 3 |
| 0 | Y_93_2 | 93 | 2 |
| 0 | Y_94_4 | 94 | 4 |
| 0 | Y_95_3 | 95 | 3 |
| 0 | Y_9_1 | 9 | 1 |
95 rows × 3 columns
assigned_districts = pd.DataFrame()
for v in model.variables():
if v.varValue == 1:
df = pd.DataFrame({
'var':[v.name],
'county':[df_TN_adj.columns.values[int(v.name.split('_')[1])-1]],
'district':[v.name.split('_')[2]],
})
assigned_districts = assigned_districts.append(df)
assigned_districts
| var | county | district | |
|---|---|---|---|
| 0 | Y_10_2 | Carter | 2 |
| 0 | Y_11_1 | Cheatham | 1 |
| 0 | Y_12_4 | Chester | 4 |
| 0 | Y_13_2 | Claiborne | 2 |
| 0 | Y_14_2 | Clay | 2 |
| ... | ... | ... | ... |
| 0 | Y_92_3 | Weakley | 3 |
| 0 | Y_93_2 | White | 2 |
| 0 | Y_94_4 | Williamson | 4 |
| 0 | Y_95_3 | Wilson | 3 |
| 0 | Y_9_1 | Carroll | 1 |
95 rows × 3 columns
df_fips = pd.read_csv("tn_fips.csv")
from urllib.request import urlopen
import json
import random
import plotly.express as px
with urlopen("https://raw.githubusercontent.com/plotly/datasets/master/geojson-counties-fips.json") as response:
counties = json.load(response)
target_states = ['47']
counties['features'] = [f for f in counties['features'] if f['properties']['STATE'] in target_states]
df_fips['County'] = df_fips['County'].str.replace(" ","")
df_fips = df_fips.merge(
assigned_districts,
left_on = 'County',
right_on = 'county',
how = 'left'
)
# df_fips['district'] = df_fips.apply(lambda x: random.randint(1,9),axis = 1)
# df_fips['district'] = df_fips['district'].astype(str)
rank_fig = px.choropleth(df_fips, geojson=counties, locations="code", color="district",
# color_discrete_map = ['1','2','3','4','5','6','7','8','9'],
# range_color=(1, 133),
scope="usa",
# labels={‘Jul 2019 Rank’:’Rank: 2019 Population’}
)
rank_fig.update_layout(margin={"r":0,"t":0,"l":0,"b":0})
rank_fig.show()
#Demographics of our districts
df_race_t = df_race.transpose()
district_pop = assigned_districts.join(df_race_t, lsuffix='1', rsuffix='2', on = 'county')
district_pop = district_pop.groupby('district').agg({"Total:" : "sum", "White alone" : "sum"})
district_pop['White %'] = district_pop['White alone']/district_pop['Total:']
district_pop
| Total: | White alone | White % | |
|---|---|---|---|
| district | |||
| 1 | 1801426 | 1278148 | 0.709520 |
| 2 | 1842454 | 1145122 | 0.621520 |
| 3 | 698001 | 548090 | 0.785228 |
| 4 | 657342 | 533271 | 0.811254 |
| 5 | 663862 | 506100 | 0.762357 |
| 6 | 625076 | 444476 | 0.711075 |
| 7 | 622679 | 445039 | 0.714717 |